On 2021-06-27, 13:39 -0300, David Bremner <david@tethera.net> wrote:

> Protesilaos Stavrou <info@protesilaos.com> writes:
>
>> The use of a named face, notmuch-jump-key, makes it possible for users
>> or theme developers to apply properties that are specific to each of
>> those two cases.
>>
>
> applied to master, thanks

You are welcome!  I just noticed a mistake from my side.  Please refer
to the attached patch.  Shall I start a new thread of will this one
suffice?

-- 
Protesilaos Stavrou
https://protesilaos.com