|
From: | Eli Zaretskii |
Subject: | bug#46853: Confusing terminology "face height" instead of "font size" |
Date: | Mon, 01 Mar 2021 19:17:51 +0200 |
> From: Lars Ingebrigtsen <larsi@gnus.org> > Date: Mon, 01 Mar 2021 18:12:59 +0100 > Cc: 46853@debbugs.gnu.org > > Stefan Kangas <stefan@marxist.se> writes: > > > "Adjust the font size in the current buffer by INC steps." > > But... is that correct? I thought the command only adjusted the size > of the font of the default face (*phew*)... Yes. So: Adjust size of the default face's font in current buffer by INC steps. (with some "the" omitted for brevity).
[Prev in Thread] | Current Thread | [Next in Thread] |