[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master a07d954: ; * etc/NEWS: Add 'char-fold-override' (bug#52394).
|
From: |
Robert Pluim |
|
Subject: |
Re: master a07d954: ; * etc/NEWS: Add 'char-fold-override' (bug#52394). |
|
Date: |
Fri, 24 Dec 2021 13:57:39 +0100 |
>>>>> On Sun, 12 Dec 2021 14:59:21 -0500 (EST), juri@jurta.org (Juri Linkov)
>>>>> said:
Juri> +** Isearch and Replace
Juri> +
Juri> +*** New user option 'char-fold-override' omits the default
character-folding.
Juri> +
Juri,
- what's the default value?
- what does 'omits the default character-folding' mean? Looking at the
code, those defaults are not exposed, and I think you perhaps mean
'default character equivalences' or similar.
Robert
--
- Re: master a07d954: ; * etc/NEWS: Add 'char-fold-override' (bug#52394).,
Robert Pluim <=