GNU bug report logs - #28901
25.3; Font selector fails to remember current font and size

Previous Next

Full log

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

From: Robert Pluim <rpluim <at> gmail.com>
To: Lars Ingebrigtsen <larsi <at> gnus.org>
Cc: Faré <fahree <at> gmail.com>, 28901 <at> debbugs.gnu.org
Subject: Re: bug#28901: 25.3; Font selector fails to remember current font
 and size
Date: Sun, 17 Nov 2019 22:16:22 +0100

>>>>> On Sun, 17 Nov 2019 09:00:14 +0100, Lars Ingebrigtsen <larsi <at> gnus.org> said:

    Lars> Faré <fahree <at> gmail.com> writes:
    >> Open the "Options" menu, select the "Set Default Font" action.
    >> You can select a font, but the default offered is not based on the
    >> font and size currently in use, which makes it quite a pain to select
    >> a variant of what is currently used: for instance, you want one size
    >> less or more while keeping the same font (that you don't know the name
    >> of), or you want to try another font in the same family (that you
    >> don't remember the exact name of).

    Lars> There is unfortunately no way to tell the Gtk font selector to do stuff
    Lars> like that, so this is currently impossible to do, as far as I can tell.
    Lars> So I'm closing this bug report.

gtk_font_chooser_set_font? We already use that to set the default family, but we
donʼt remember the size or the style.

Robert

Previous Next

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