Re: [Gretl-devel] menu fonts
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?
>
> Allin
I don't want to override anything. This was a feature of gretl for Windows
until recently (and it is on Linux). 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. Some colleagues here were
missing that. I have also used it several times and would vote for
maintaining if not very complicated.
There are many people (including myself) who like to be able to set gretl
fonts larger than usual when you teach in large rooms and students in the
back can't see the screen well.
Unfortunately, it looks as if somebody at Microsoft assumes that the user
values consistency across applications more than any other thing ("user
experience", they call it), so they simply took away from the programmers
the ability to change menu fonts on a per-application basis. In other
words, I'm afraid there's little we can do about it. I suppose, however,
there is some way to change menu fonts system-wide if absolutely
necessary. I'm not a windows guy, though, so someone else might want to
step in and offer advice.
-------------------------------------------------------
Riccardo (Jack) Lucchetti
Dipartimento di Scienze Economiche e Sociali (DiSES)
Università Politecnica delle Marche
(formerly known as Università di Ancona)
r.lucchetti(a)univpm.it
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------