Re: Tick Reduction

[Eli Zaretskii]

> From: Stefan Kangas <stefankangas@gmail.com>
> Date: Fri, 19 Nov 2021 14:04:09 +0100
> Cc: larsi@gnus.org, emacs-devel@gnu.org, dgutov@yandex.ru
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Of course they are from different families, otherwise how can one be
> > fixed-pitch and the other variable-pitch.  It is rare for the same
> > family to provide both.
> 
> On GNU/Linux, or at least on my machine, they are the same family in
> "emacs -Q" (Bitstream Vera Sans / Bitstream Vera Sans Mono).

Is that the default that corresponds to standard-fontset-spec in
fontset.el, or did you tweak your system or Emacs to use that family?

> > Both have the height of 13, according to "C-u C-x =".  And in a
> > debugger I see that both faces have the height attribute of 98 (in
> > units of 1/10 point).  So it sounds like Emacs thinks these have the
> > same height, and still the line height changes by about 1 pixel
> > depending on whether I do or don't use the variable-pitch face on that
> > line.  Maybe I'm missing something.
> 
> Oh, I was so focussed on the x-height that I missed that you were discussing a
> difference in the line height.
> 
> Do you observe this using the `C-h C-h' example?  If yes, could the
> explanation be some difference in how the :box attribute we set in
> `help-key-binding' works on MS-Windows vs. on GNU/Linux?  Just a guess.

I don't think I follow: there's no variable-pitch face, or any face
that inherits from it, in the "C-h C-h" display, AFAICT.  What am I
missing?