[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: |
Sat, 2 Nov 2024 16:43:02 +0100 |
Hi Arash,
>
> 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?
>
>From what I can tell, we don't need to worry about overlaps, which
already happens with stuff like "\alpha" that is in both
tex--prettify-symbols-alist and LaTeX-fold-math-spec-list.
The pros/cons of the quote/dash folding code, as I see it:
(1) Users who use prettification can simply add
(dolist (sym '(("``" . ?“) ("''" . ?”)))
(add-to-list 'tex--prettify-symbols-alist sym))
to their config (or submit a patch to tex-mode), while those who don't
use prettification can turn it on anyway and do
(setq prettify-symbols-alist '(("``" . ?“) ("''" . ?”) ("--" . 8211)
("---" . 8212)))
(2) With the folding approach, users can control it via TeX-fold-*
along with all the other folding.
My overall feeling is that the quote/dash folding code isn't really
necessary (and expands the code base, docs and defcustoms), so might
as well be removed, but I won't complain if you or others see the
balance differently.
Thanks, best,
Paul
- bug#74110: [PATCH] Add folding support for TeX dashes, Arash Esbati, 2024/11/01
- bug#74110: [PATCH] Add folding support for TeX dashes,
Paul Nelson <=
- bug#74110: [PATCH] Add folding support for TeX dashes, Arash Esbati, 2024/11/03
- bug#74110: [PATCH] Add folding support for TeX dashes, Ikumi Keita, 2024/11/03
- bug#74110: [PATCH] Add folding support for TeX dashes, Paul Nelson, 2024/11/05
- bug#74110: [PATCH] Add folding support for TeX dashes, Arash Esbati, 2024/11/06
- bug#74110: [PATCH] Add folding support for TeX dashes, Paul Nelson, 2024/11/17
- bug#74110: [PATCH] Add folding support for TeX dashes, Arash Esbati, 2024/11/18
- bug#74110: [PATCH] Add folding support for TeX dashes, Ikumi Keita, 2024/11/06