Protesilaos Stavrou writes:
> On 2021-06-27, 13:39 -0300, David Bremner wrote:
>
>> Protesilaos Stavrou 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.
>>>
>>
>>
On 2021-06-27, 13:39 -0300, David Bremner wrote:
> Protesilaos Stavrou 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
Protesilaos Stavrou 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
d
___
notmuch mailing list --
On 2021-05-25, 22:41 +0300, Tomi Ollila wrote:
> On Fri, May 21 2021, Protesilaos Stavrou wrote:
>
>> The minibuffer-prompt face that was used before made it impossible to
>> differentiate between two distinct UI elements: (i) the prompt's text
>> which itself cannot be acted upon, (ii) the
On Fri, May 21 2021, Protesilaos Stavrou wrote:
> The minibuffer-prompt face that was used before made it impossible to
> differentiate between two distinct UI elements: (i) the prompt's text
> which itself cannot be acted upon, (ii) the actionable keys used to
> jump to searches/tags.
>
> The
The minibuffer-prompt face that was used before made it impossible to
differentiate between two distinct UI elements: (i) the prompt's text
which itself cannot be acted upon, (ii) the actionable keys used to
jump to searches/tags.
The use of a named face, notmuch-jump-key, makes it possible for
