[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.
0001-Add-new-face-help-key-binding-for-keybindings-in-hel.patch
Description: Text Data
- RE: [External] : Re: Consistent face for keys in *Help* and `substitute-command-keys', (continued)
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/05
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/06
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/06
- Re: Consistent face for keys in *Help* and `substitute-command-keys',
Stefan Kangas <=
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/06
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/06
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/07
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/07
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/03/07
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Juri Linkov, 2021/03/08
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/08
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Juri Linkov, 2021/03/08
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/03/09
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Juri Linkov, 2021/03/10