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

Yo solo puedo decir que las activé una vez, y efectivamente cambia a unas fuentes que imagino serán por defecto.... el caso es que no me hacia a ellas en Elementary OS por alguna razón me cuestan más de leer que las que pone el propio sistema.... asi que nunca jamás volví a activar esa opción y dudo que tarde mucho en volver a intentarlo siquiera xDD

Yo las acabo de probar —lo desconocía por completo—. Y no me han gustado. Incluso agrandándolas bastante —estoy bastante cegato— no me resulta legible.
Las que, personalmente, claro, me parecen más adecuadas son la Hack y la DejaVu Sans Mono, incluso Liberation Mono —aunque para escribir con focuswriter me en canta traveling typewriter —.
Y sí, estoy de acuerdo, una vez que te has descargado la de gambas, sobra el botoncito de descarga.

si, yo una vez las instale y no le vi utilidad ninguna.

Saludos.