Je suis passé à ocelot onirique, exécutant wm génial. Tout fonctionne, plus ou moins, très bien, mais une chose que j’ai remarquée, c’est que mes polices de menu et mes symboles de menu sont plus volumineux que je ne le souhaiterais.
J'avais l'habitude de les définir dans les paramètres de police, mais maintenant (pour celui que je ne sais même plus où sont les paramètres de police, j'ai essayé gnome-Tweak-tool), les paramètres de police ont disparu? Sûrement je manque quelque chose.
Mon premier exemple est le programme evince dont les symboles sont ginormous.
Des astuces pour le modifier?
Je suppose que evince ressemble à ceci:
Je voudrais utiliser les paquets XFCE pour vous aider sur ce problème:
Sudo apt-get install xfce4-settings
Ensuite, lancez le démon xfce:
xfsettingsd
Cela modifiera les polices pour utiliser les paramètres GTK.
Exécutez xfce4-settings-manager
pour modifier vos polices et vos icônes:
Évidemment, vous voudriez exécuter le démon à partir de la connexion - voir ma réponse liée sur la procédure à suivre.
Question liée: