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, best, Paul
0001-Expand-default-auto-reveal-options.patch
Description: Binary data
_______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
