[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:25:18 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Kangas <stefan@marxist.se> writes:
> Hmm, I'm not seeing the same here in emacs -Q.
Does it really make the faces bigger... or just add more vertical blank
space? It just calls:
(when text-scale-mode
(face-remap--remap-face 'default)
(when text-scale-remap-header-line
(face-remap--remap-face 'header-line)))
So, OK, it's not just the `default' face, but also `header-line'
optionally. :-)
> But I'd argue that it's a bug -- why shouldn't `C-x C-+' adjust
> the size of `variable-pitch'?
I don't know the history of the command... could it be because
remapping all faces would just be too slow?
--
(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