web-dev-qa-db-fra.com

Les polices dans le menu sont plus grandes qu'elles ne devraient l'être sous Awesome WM


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?

8
janjust

Je suppose que evince ressemble à ceci:

enter image description here

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:

enter image description here

É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:

  1. Comment définir des applications de démarrage avec Awesome Window Manager?
8
fossfreedom