|
From: | Dmitry Gutov |
Subject: | bug#64799: [PATCH] Add 'project-prompt-key' face |
Date: | Wed, 23 Aug 2023 18:37:23 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 23/08/2023 18:35, Visuwesh wrote:
Anyway, if you want the option, can you suggest how it will be called? Will it be just boolean?A boolean option will be fine. The facep condition can then be changed to (and NEW-OPTION (facep 'help-key-binding)).
Any ideas for the name?
[Prev in Thread] | Current Thread | [Next in Thread] |