Je suis passé à ocelot oneiric, exécutant génial wm. Tout fonctionne, plus ou moins bien, mais une chose que j'ai remarquée est que maintenant mes polices de menu et mes symboles de menu sont plus grands que je ne voudrais qu'ils soient.
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ù se trouvent les paramètres de police, j'ai essayé gnome-tweak-tool) les paramètres de police ont disparu? Je manque sûrement quelque chose.
Mon premier exemple est le programme Evince dont les symboles sont gigantesques.
Des astuces pour le modifier?