Ubuntu-fr

azmeuk

Gagner en place : Réduire les polices

Salut à tous,
Comme vous ne le savez pas, je suis sous une daper à jour blablabla et j'ai un écran lcd 17" qui comme tous les écrans LCD permet une résolution maximalke de 1280*1024. Amplement suffisant diront certains, pas moi.Je veux plus de place et je cherche donc à savoir si l'on peut réduire les polices des menus [Applications | Raccourcis | Système ], réduire tant qu'à faire réduire les barres de menus à moins de 23 pixels sans pour autant être obligé de les masquer. Je voudrais aussi réduire la police des menus gtk [Fichier | Edition | Affichage | tûssa tûssa.. ] ainsi que les titres des fenêtres. Si ce n'est pas possible par configuration alors connaissez vous des thèmes avec de petites polices, et beau tant qu'à faire. (Ceci dit le goût est on ne peut plus relatif).
Merci Bien et ciao

---

http://azmeuk.fr

Borges

Re : Gagner en place : Réduire les polices

menu gnome --> préférences --> polices

---

jabberwock.fr