Subject: Re: bug#64799: [PATCH] Add 'project-prompt-key' face

From: Dmitry Gutov <[email-masked]>
Date: Wed, 23 Aug 2023 19:40:34 +0300

On 23/08/2023 18:45, Visuwesh wrote:
> [புதன் ஆகஸ்ட் 23, 2023] Dmitry Gutov wrote:
> 
>> 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?
> project-prompt-key-use-bold-face?  I am unfortunately terrible at naming
> things.

Ok, I've added project-key-prompt-style.

Please test whenever convenient.