Con el rollo de los bugs y demás, he terminado por "limpiar" mi usuario por el procedimiento de
a) Entrar con otro usuario y cambiar el nombre de la carpeta /home/jorge (que es mi home, claro)
b)Crear otra carpeta /home/jorge y darle como propietario al usuario jorge
c)Volver a entrar con ese usuario al sistema y
d)Mover los archivos de Datos del viejo usuario al nuevo.
Todo perfecto y los problemas desaparecen peeeero
La fuente por defecto de los programas de gambas, que antes era ubuntu 10, ahora es DejaVu Sans 12, lo que hace que los programas sean como muy aparatosos.
Nada que ver con las fuentes que tiene el Cinnamon.
¿Alguien sabe de dónde sale ese DejaVu ?
(15-06-2021, 21:22)Shordi escribió: [ -> ]¿Alguien sabe de dónde sale ese DejaVu ?
Ese es el problemas con los "déjà vu" nadie sabe de donde salen.

Pero ahora hablando en serio, en el archivo /home/[user]/.config/gambas3.conf hay varias referencias a las fuentes, no tienes mas que comparar el viejo con el nuevo y... voilà.
Creo que se controla aqui por ejemplo:
[General]
SortProperties=True
ShowTipOnStartup=0
LastTip=1
UseInheritance=True
Font="Noto Sans Light,11"
ConsoleFont="Monospace,11"
ShowMenus=True
Saludos.
Cita:Pero ahora hablando en serio, en el archivo /home/[user]/.config/gambas3.conf hay varias referencias a las fuentes, no tienes mas que comparar el viejo con el nuevo y... voilà.
Creo que se controla aqui
Nop. Las fuentes que ahí aparecen son las mismas que el ide muestra en las opciones de gambas. En este caso Ubuntu 11 y Ubuntu Mono 12 para según que cosas. El Deja Vu es que lo he buscado en todo el disco duro... y como que no encuentro esa referencia en ningún fichero de confiuguración...
Creo que voy a cambiar de distro de Linux, que esta me está dando mucho follón últimamente.
En esta pantalla esta tu fuente famosa DejaVu, en la pantalla de la imagen adjunto es donde debes cambiar.
Gambas: Herramientas/Preferencias/Fuentes
Sí... el problema es que en esa pantalla no aparece la dejavu de las narices...

Aaah guapo por que no pruebas instalarlo según mi lista desde Synaptic y despues añadirla en la ventana que te he dicho antes de Gambas.
No lo has entendido. Lo que NO quiero es que salga esa maldita fuente. Quiero que salga la del escritorio.
Es la vejez que no me perdona y supongo que también estoy empanao.
Oye y por un lado desinstalar la y reiniciar. Y si se arregla estupendo y sino en la primera foto sustituir la fuente o instalar las fuentes de Gambas según el botón de abajo en la imagen.
A lo mejor tenemos suerte y me desempana con un positivo en tu problema.