GNU bug report logs - #57555
29.0.50; variable-pitch font issue with medium weight default font

Previous Next

Full log

Message #62 received at 57555 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 57555 <at> debbugs.gnu.org, gregory <at> heytings.org, bandali <at> gnu.org
Subject: Re: bug#57555: 29.0.50; variable-pitch font issue with medium
 weight default font
Date: Thu, 08 Sep 2022 13:42:10 +0200

Eli Zaretskii <eliz <at> gnu.org> writes:

> So maybe we should consider resetting just the weight attribute,
> perhaps only if its value is 'medium' (assuming that solves this
> particular issue).  That's a far cry from resetting all of them.

Yes -- what we had before the last change was "reset all except a
couple", and I suspect we should just keep going that way instead.  And
include the weight in that list.

But I'm not at all sure about anything in this area.

Previous Next

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