Re: [Gretl-devel] menu fonts

On 08/06/13 01:47, Allin Cottrell wrote: 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. -- Firma Arista *Ignacio Díaz-Emparanza* Zuzendaria/Director ignacio.diaz-emparanza(a)ehu.es <mailto:ignacio.diaz.emparanza@ehu.es> 94 6013732 *EKONOMIA APLIKATUA III SAILA (EKONOMETRIA ETA ESTATISTIKA)/ DEPARTAMENTO DE ECONOMÍA APLICADA III (ECONOMETRÍA Y ESTADÍSTICA) UPV/EHU* Avda. Lehendakari Aguirre, 83 | 48015 BILBAO *T.: +34 946013740* | *F.: +34 946013754* *www.ea3.ehu.es* <http://www.ea3.ehu.es> 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. E-mail hau inprimatu baino lehen egiaztatu inprimatzeko beharra. Antes de imprimir este e-mail piense bien si es necesario hacerlo.