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.