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

[Eli Zaretskii <eliz@gnu.org>]

> From: Stefan Kangas <stefan@marxist.se>
> Date: Wed, 10 Mar 2021 18:46:01 -0600
> Cc: larsi@gnus.org, emacs-devel@gnu.org
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Doesn't using :box cause a small 2-pixel rise of the mode line?  If it
> > does, that could be regarded as annoyance by some users, because the
> > text above the mode line might scroll.
> 
> Yes, it does.  Thanks for pointing this out.
> 
> It is indeed a slight annoyance once you notice it.  (But I don't see
> any scrolling, so I guess this depends on things like window size and
> font size?)

The scrolling will happen when both of the following conditions are
true:

 . point is on the last line of the bottom-most window
 . the enlarged mini-window makes that last line only partially visible

> Is there anything we could do to avoid this if we use :box?

Stefan answered that, not sure if you will like the looks of the
result.

> Is it annoying enough to avoid :box completely?

IMO, it depends on the frequency of the occurrence.  It was enough for
me to customize eldoc face to use :underline instead of :bold, because
the latter would cause a similar effect.  But that's my level of
annoyance; others might feel differently.  So perhaps advertise the
way to avoid that by customizing the face, and then let's see how many
complaints we get from users who track the master branch.