[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: Eli Zaretskii
Subject: Re: Consistent face for keys in *Help* and `substitute-command-keys'
Date: Sat, 06 Mar 2021 09:33:26 +0200

> 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

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

reply via email to

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