Paul Nelson <ultr...@gmail.com> 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 bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
