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

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: stefan <at> marxist.se
Cc: thomas.hisch <at> ims.co.at, 41852 <at> debbugs.gnu.org
Subject: bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode
Date: Sat, 31 Oct 2020 19:55:38 +0200

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.