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
Ignacio Díaz-Emparanza Zuzendaria/Director ignacio.diaz-emparanza@ehu.es 94 6013732 |
||
|
||
ERNE! Baliteke mezu honen
zatiren bat edo mezu osoa legez babestuta egotea. Mezuak
badu bere hartzailea. Okerreko helbidera heldu bada
(helbidea gaizki idatzi, transmisioak huts egin) eman
abisu igorleari, korreo honi erantzunda. Kontuz! Mezua ez
bada zuretzat, ez erabili, ez zabaldu beste inori, ez
kopiatu eta ez baliatu. ¡ATENCIÓN! Este mensaje contiene información privilegiada o confidencial a la que sólo tiene derecho a acceder el destinatario. Si usted lo recibe por error le agradeceríamos que no hiciera uso de la información y que se pusiese en contacto con el remitente.
|