(propertize key 'face 'notmuch-jump-key)
(make-string (- key-width (length key)) ? )
" " desc))
action-map)))
--
2.31.1
--
Protesilaos Stavrou
https://protesilaos.com
___
notmuch mailing list -- notmuch@notmuchm
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 c
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.
>>
>
ire prompt. However, we want to clearly
;; distinguish bindings (which we put in the prompt face
--
2.32.0
--
Protesilaos Stavrou
https://protesilaos.com
___
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to
