[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#37785: [PATCH] Add a way to disable substitution of command keys in
|
From: |
Clément Pit-Claudel |
|
Subject: |
bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings |
|
Date: |
Thu, 17 Oct 2019 08:01:58 -0400 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 |
On 2019-10-17 05:44, Robert Pluim wrote:
> Clément> * doc/lispref/text.texi (Special Properties), etc/NEWS: Document
> Clément> the effect of 'show-help-inhibit-substitution'
>
> Full stops at the end of sentences. Also, I think I prefer Eli's name,
> mainly because yours combines 'show' with 'inhibit', which I find
> jarring, and because Eli's contains 'help-echo', which mirrors the
> name of the affected property.
The property affects more than help-echo strings: it affects anything that is
fed to show-help-function. That's why I changed the name; WDYT?
I've applied all the other comments; thanks a lot!
Clément.
0001-Add-a-way-to-disable-substitution-of-command-keys-in.patch
Description: Text Data
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Clément Pit-Claudel, 2019/10/16
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Robert Pluim, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings,
Clément Pit-Claudel <=
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Eli Zaretskii, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Clément Pit-Claudel, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Eli Zaretskii, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Clément Pit-Claudel, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Eli Zaretskii, 2019/10/17
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Clément Pit-Claudel, 2019/10/19
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Eli Zaretskii, 2019/10/20
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Clément Pit-Claudel, 2019/10/20
- bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings, Robert Pluim, 2019/10/17