[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-
From: |
Eli Zaretskii |
Subject: |
bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode |
Date: |
Sat, 31 Oct 2020 18:48:32 +0200 |
> 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.
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, (continued)
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, martin rudalics, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, martin rudalics, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, martin rudalics, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/30
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode,
Eli Zaretskii <=
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Eli Zaretskii, 2020/10/31
- bug#41852: 27.0.50; text-scale commands don't scale header of tabulated-list-mode, Stefan Kangas, 2020/10/31