Contenu | Rechercher | Menus

Annonce

Si vous rencontrez des soucis à rester connecté sur le forum (ou si vous avez perdu votre mot de passe) déconnectez-vous et reconnectez-vous depuis cette page, en cochant la case "Me connecter automatiquement lors de mes prochaines visites".
Test de l'ISO d'Ubuntu francophone : nous avons besoin de testeurs pour la version francophone d'Ubuntu 14.04. Liens et informations ici.

#1 Le 16/12/2005, à 19:55

nfkb

[resolu] Editer police menu gnome

Bonjour à tous

j'ai ubuntu 5.1

je cherche à personnaliser un peu mon bureau.

Le truc principal est que j'aimerais réaliser une sorte de thème où les polices des menus seraient un peu plus petites...

comment faire ?

Dernière modification par nfkb (Le 19/12/2005, à 11:33)

Hors ligne

#2 Le 19/12/2005, à 11:34

nfkb

Re : [resolu] Editer police menu gnome

je suis honteux : gnome-font-properties

Hors ligne

Haut de page ↑