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

[Robert Pluim]

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

    Lars> Faré <fahree@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