Hi Arash, sure thing. I'll use "preview-protect-point" for the name of the user option unless you can immediately think of something better, and send the patch in a bit. Thanks, Paul
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
