Subject: Re: bug#37785: [PATCH] Add a way to disable substitution of command keys in help strings

From: Robert Pluim <[email-masked]>
Date: Thu, 17 Oct 2019 17:06:28 +0200

>>>>> On Thu, 17 Oct 2019 09:47:52 -0400, Clément Pit-Claudel <[email-masked]> said:
    Clément> * Change the name to something like help-string-inhibit-substitutions.
    Clément> * Restrict the patch to the argument of show-help-function, and rename the variable to help-echo-inhibit-substitutions.

I think Iʼd prefer the former, for the sake of consistency.

Robert