Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 28/08/2006, à 17:25

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

Hors ligne

#2 Le 28/08/2006, à 17:59

Borges

Re : Gagner en place : Réduire les polices

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

Hors ligne