[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28901: 25.3; Font selector fails to remember current font and size
From: |
Robert Pluim |
Subject: |
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@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