GNU bug report logs - #25168
25.1; variable-pitch face misbehaves

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Eli Barzilay <eli <at> barzilay.org>
Cc: larsi <at> gnus.org, 25168 <at> debbugs.gnu.org
Subject: bug#25168: 25.1; variable-pitch face misbehaves
Date: Sat, 06 Feb 2021 14:33:27 +0200

> From: Eli Barzilay <eli <at> barzilay.org>
> Date: Sat, 6 Feb 2021 07:22:41 -0500
> Cc: Eli Zaretskii <eliz <at> gnu.org>, 25168 <at> debbugs.gnu.org
> 
> It would be nice to clarify that in the `text-scale-adjust` docstring.
> To be more specific, it currently repeats:
> 
>     the default face height
> 
> many times, and this can be interpreted as "the default (face height)"
> or "the (default face) height".  Worse, for people who don't know that
> there's an actual face called default, "Adjust the height of the default
> face" is just as confusing.

I made it say "adjust the height of the default face" because I think
it should be clear (or at least more clear than the original wording).

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.