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