Apologies for the spam, but I've amended the patch from my previous email because I noticed that the change from "buffer-substring" to "buffer-substring-no-properties" (from your previous email) resulted in some odd behavior with colors when the user edits an already folded verbatim environment and then exits the fold.
0001-Improved-verbatim-folding.patch
Description: Binary data
_______________________________________________ bug-auctex mailing list bug-auctex@gnu.org https://lists.gnu.org/mailman/listinfo/bug-auctex
