[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 10:25:20 -0600

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'

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

reply via email to

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