Pourquoi l'outil Gnome Tweak ne modifie-t-il pas les polices du bureau?
J'ai vu que l'outil Gnome Tweak n'a aucun effet sur les polices de bureau. Et la seule façon de le faire est
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 10'
que je lis ici Comment changer la police et la taille de la police du burea
Pourquoi cela arrive-t-il? Est-ce un bug?
En lisant le commentaire de @ Pisu sur la réponse liée (pour 11.10), il semble que vous ayez besoin du package gnome-Shell installé pour que cela prenne effet. Vous pouvez toujours utiliser Unity, il vous suffit de récupérer les packages supplémentaires dans le Centre logiciel.