Re: [Gretl-devel] menu fonts
On Mon, 10 Jun 2013, Allin Cottrell wrote:
Ignacio wrote, re. changing the gretl menu font
independently of the system menu font on Windows:
>> It is rather practical when you are using a proyector for
>> example, for teaching, because this allows to enlarge the
>> font or put it in bold for better viewing.
OK, I have now reinstated the old behavior on Windows. That
is, you get a working selector for the menu font if and only
if you have deselected "Emulate Windows look" under general
preferences.
You also now have an option to reset the font to the Windows
default, which may be handly after setting an ad hoc font for
display purposes.
It may be possible to support menu font selection even when
emulation of the "Windows look" is in force (which looks
very much better on recent Windows), but I haven't yet found
a way of doing that.
It turns out that offering a choice of menu font in gretl when
the GTK "MS-Windows" theme is in force (which is the effect of
gretl's "Emulate Windows look" option) is not a practical
possibility. This theme (reasonably enough) hands off control
over fonts to Windows itself so you'd have to use the Windows
control panel in that case.
Allin