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

[Eli Zaretskii]

> From: Stefan Kangas <stefan@marxist.se>
> Date: Fri, 5 Mar 2021 15:43:15 -0600
> Cc: larsi@gnus.org, emacs-devel@gnu.org
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> The font size is different, yes.
> >
> > Do we want that to happen in tooltips?
> 
> I think so, yes.  If the user has specified :height and we otherwise
> respect this face, then why shouldn't we respect also that?

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.

> (But the use-case sounds a bit unusual to me, judging by the themes I've
> seen: :height is usually changed only for headlines and the like, not
> for "body" text.)

It could be changed indirectly via the font.