[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#74110: [PATCH] Add folding support for TeX dashes
From: |
Paul Nelson |
Subject: |
bug#74110: [PATCH] Add folding support for TeX dashes |
Date: |
Thu, 31 Oct 2024 08:13:38 +0100 |
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