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

[Stefan Kangas]

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.

>> (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.

Oh, right.  Hmm.

Testing this, I'm seeing that the entire tooltip increase in size if I
do something like:

    (add-to-list 'default-frame-alist '(font . "Ubuntu Mono-20"))

Which I guess is expected since `tooltip' inherits `variable-pitch' that
inherits `default'.