On Fri, 7 Jun 2013, Ignacio Diaz-Emparanza wrote:
It seems there is a problem with the gretl menu fonts in Windows (at
least in
XP, with the current snapshot). The changes via "Tools/Preferences/Menu
fonts" are not being activated.
I see what you mean, but I think we should probably get rid of that
menu item on Windows rather than trying to "fix" it. Gretl is
supposed to respect the choice of application font set via the
Windows control panel. Is there a particular reason why you want to
override that?
Allin