Paul Nelson <[email protected]> writes: > This patch adds the commands #'undo and #'pop-to-mark-command to the > defaults for revealing folds and previews. I think there is no > downside to this, and clear benefit. (Indeed, in the years before I > stumbled upon this customization, I was often annoyed by the fact that > previews didn't reveal in cases covered by this patch. Hoping to > spare other users the trouble!)
Thanks, installed, and closing. Best, Arash _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
