bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode

[Eli Zaretskii]

> From: Stefan Kangas <stefan@marxist.se>
> Date: Sat, 31 Oct 2020 09:15:23 -0700
> Cc: rudalics@gmx.at, thomas.hisch@ims.co.at, 41852@debbugs.gnu.org
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Try using fixed-pitch and variable-pitch instead of mode-line and
> > bold.  What happens then?  And what does that mean for this
> > discussion?
> 
> I tried this with my patch, in emacs -Q:
> 
> (progn
>  (setq-local text-scale-remap-header-line-face t)
>  (setq-local header-line-format (concat
>                                  (propertize "foo" 'face 'fixed-pitch) " "
>                                  (propertize "bar" 'face 'variable-pitch))))
> 
> They also scale.

They don't scale obn my system, which is what I'd expect.  Maybe these
faces don't specify the font on some systems, but the principle is
nevertheless valid.

> > I just did: fixed-pitch and variable-pitch.  Another example would be
> > any defface that specifies :height as an absolute number of 1/10
> > point.
> 
> I find that text inserted into a buffer using the fixed-pitch and
> variable-pitch both scale.  But if I specify :height to be an absolute
> number, the text does not scale.

Which means your fixed-pitch and variable-pitch faces don't specify
the size of the font.  But otherwise what I said was correct, and
should be taken into account.