https://foro.gambas-es.org/viewtopic.php?f=2&t=3198&p=18019#p18019
-----------------------------------
Shell
Lunes, 17 Junio 2013, 19:37

Menu Preferencias. Instalar Fuentes De Gambas Para Editor
-----------------------------------
Hola!.

En el menú de preferencias tenemos la opción de instalar las fuentes de Gambas para la edición de código.
Ok, parece que el tamaño de letras ha cambiado en la consola.

Y digo yo. No seria mejor una vez instalada las fuentes, que esta opción de alguna manera dijese si ya 
están instaladas o desapareciera de la opción del menú de preferencia.
 
¿ Creéis que es adecuado (necesidad por mejora u obligación) que todos deberíamos tenerlas instaladas en nuestro Linux ?.
Por algún motivo de compatibilidad se haría esto.

Quizas soluciona problemas con fuentes de letras.

Saludos


