[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:59:41 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: stefan@marxist.se, 46853@debbugs.gnu.org
> Date: Mon, 01 Mar 2021 20:45:28 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > No, it's because enlarging _all_ faces makes no sense.
>
> I really thought that's how this command worked, but
>
> emacs -Q -f list-faces-display
>
> and then `C-x C-+' in the buffer enlarges all the faces, even
> variable-pitch...
It only enlarges those faces which inherit their size from 'default'.
- bug#46853: Confusing terminology "face height" instead of "font size", (continued)
- 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 <=
- 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