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

[Visuwesh]

[புதன் ஆகஸ்ட் 23, 2023] Dmitry Gutov wrote:

> 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.

Thanks, it works as expected.