|
| From: | Eli Zaretskii |
| Subject: | bug#46853: Confusing terminology "face height" instead of "font size" |
| Date: | Mon, 01 Mar 2021 21:33:39 +0200 |
> From: Stefan Kangas <stefan@marxist.se> > Date: Mon, 1 Mar 2021 13:15:57 -0600 > Cc: 46853@debbugs.gnu.org > > But I'd argue that it's a bug -- why shouldn't `C-x C-+' adjust > the size of `variable-pitch'? Because the command only changes the size of the 'default' face and all the faces that inherit from it.
| [Prev in Thread] | Current Thread | [Next in Thread] |