He visto que la herramienta Gnome Tweak Tool no tiene ningún efecto sobre las fuentes del escritorio. Y la única forma de hacerlo es
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'que leí aquí Cómo cambiar la fuente y el tamaño de la fuente del escritorio
¿Por qué ocurre esto? ¿Es un error?
