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

From: Protesilaos Stavrou <[email-masked]>
Date: Sun, 23 Jul 2023 16:49:27 +0300

> From: Philip Kaludercic <[email-masked]>
> Date: Sun, 23 Jul 2023 13:41:43 +0000
>
> Protesilaos Stavrou <[email-masked]> writes:
>
>> Dear maintainers,
>>
>> I noticed that the project switching dispatch menu hardcodes its face to
>> 'bold'.  Adding a new face here allows themes/users to customise that
>> style (e.g. to inherit the 'help-key-binding' face).
>
> Does this even need a separate face, or shouldn't `help-key-binding' be
> reused directly?

That would be my choice, though also with the removal of the square
brackets around it.  The proposed patch is for backward-compatibility.

-- 
Protesilaos Stavrou
https://protesilaos.com