Subject: Re: bug#28901: 25.3; Font selector fails to remember current font and size

From: Robert Pluim <[email-masked]>
Date: Sun, 17 Nov 2019 22:16:22 +0100

>>>>> On Sun, 17 Nov 2019 09:00:14 +0100, Lars Ingebrigtsen <[email-masked]> said:

    Lars> Faré <[email-masked]> 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