On Mon, 10 Jun 2013, Ignacio Diaz-Emparanza wrote:
On 08/06/13 01:47, Allin Cottrell wrote:
> 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?
I don't want to override anything.
Well, actually you do ;-)
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.
And that's a fair reason for wanting to override the default
Windows font. So I'll try to get that option working again.
Allin