Paul Nelson <ultr...@gmail.com> writes:
>> 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?
Hi Paul,
what about users who use folding only and not symbol-prettification?
There is a feature overlap here, but I'm not sure if we should drop your
changes from folding. Maybe we should guard these overlaps so they
don't kick in when `prettify-symbols-mode' is non-nil? WDYT?
Best, Arash
_______________________________________________
bug-auctex mailing list
bug-auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-auctex
