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

[Eli Zaretskii]

> Date: Sat, 31 Oct 2020 18:48:32 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 41852@debbugs.gnu.org, thomas.hisch@ims.co.at
> 
> > (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.

No, that's because your patch is not yet in, so setting
text-scale-remap-header-line-face has no effect.  Sorry, I didn't
realize you haven't yet committed those changes.

In any case, the general point is valid: it is incorrect to assume
that every face used anywhere will scale with the buffer text.