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

[Dmitry Gutov]

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.