[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Consistent face for keys in *Help* and `substitute-command-keys'

From: Stefan Kangas
Subject: Re: Consistent face for keys in *Help* and `substitute-command-keys'
Date: Sat, 6 Mar 2021 11:32:45 -0600

Stefan Kangas <stefan@marxist.se> writes:

> Eli Zaretskii <eliz@gnu.org> writes:
>> It makes the tooltip height larger than usual, doesn't it?  If so, I
>> think we should at least have that mentioned in the doc string of the
>> face.
> OK, we can add a note to that effect to the `help-key-binding'
> docstring.

Here's an updated patch.  The changes from the previous patch are all in
the definition of the `help-key-binding' face.

Let me know if there is anything else to change before this can go in.

Attachment: 0001-Add-new-face-help-key-binding-for-keybindings-in-hel.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]