Hi Jeremy,
> How does this differ from the built-in prettify-symbols-mode which
> appears to do this already?
Thanks for pointing this out. I guess this patch can be discarded, then.
I guess that the same point also applies to my previous patch
concerning quotes, i.e., one can largely replace that patch with
(add-to-list 'prettify-symbols-alist '("``" . ?“))
(add-to-list 'prettify-symbols-alist '("''" . ?”))
The only issue is that I had wanted to avoid folding double primes in
math regions, such as $x''$, but perhaps that's a sufficiently minor
issue, and the TeX-fold-quotes stuff isn't really necessary either?
Thanks, best,
Paul
_______________________________________________
bug-auctex mailing list
bug-auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-auctex
