[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46853: Confusing terminology "face height" instead of "font size"
From: |
Eli Zaretskii |
Subject: |
bug#46853: Confusing terminology "face height" instead of "font size" |
Date: |
Mon, 01 Mar 2021 21:50:26 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Mon, 01 Mar 2021 20:37:07 +0100
> Cc: 46853@debbugs.gnu.org
>
> 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-+'.
Not if the face is customized to define its own size, instead of
inheriting from the default face.
- 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
- bug#46853: Confusing terminology "face height" instead of "font size", Stefan Kangas, 2021/03/03