[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: |
Thu, 25 Feb 2021 13:47:07 -0600 |
Eli Zaretskii <eliz@gnu.org> writes:
> Ah, okay: you are putting the 'face' property, but so does
> 'tooltip-show'. So yes, the latter one overrides the former one.
>
> So I guess we will need to change the design of this to avoid
> overriding the whole face of a tooltip, or maybe add some special code
> to help_echo_substitute_command_keys.
Oh, okay. I actually thought your concern was the opposite case here.
I think it is okay that tooltips do not use the `help-key-binding' face.
That seems in line with what other software does for tooltips, I
believe. But I could be wrong.
- Re: Consistent face for keys in *Help* and `substitute-command-keys', (continued)
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Lars Ingebrigtsen, 2021/02/24
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/24
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/02/24
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/25
- 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/02/25
- RE: [External] : Re: Consistent face for keys in *Help* and `substitute-command-keys', Drew Adams, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', martin rudalics, 2021/02/25
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/24
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Stefan Kangas, 2021/02/24
- Re: Consistent face for keys in *Help* and `substitute-command-keys', Eli Zaretskii, 2021/02/25
Re: Proposal for an improved `help-for-help', Eli Zaretskii, 2021/02/21