[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46853: Confusing terminology "face height" instead of "font size"
From: |
Lars Ingebrigtsen |
Subject: |
bug#46853: Confusing terminology "face height" instead of "font size" |
Date: |
Mon, 01 Mar 2021 20:37:07 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> So you're totally right; sorry for the confusion here.
So now I don't understand the point of this:
(when text-scale-remap-header-line
(face-remap--remap-face 'header-line)))
The variable is nil in emacs -Q, but this face, like all other faces, is
resized by `C-x C-+'.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#46853: Confusing terminology "face height" instead of "font size", Stefan Kangas, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Lars Ingebrigtsen, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Stefan Kangas, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Lars Ingebrigtsen, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Stefan Kangas, 2021/03/03
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/04
- bug#46853: Confusing terminology "face height" instead of "font size", Stefan Kangas, 2021/03/04
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Lars Ingebrigtsen, 2021/03/01
- bug#46853: Confusing terminology "face height" instead of "font size", Eli Zaretskii, 2021/03/01