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". Attention, le forum rencontre actuellement quelques difficultés. En cas d'erreur 502, il ne faut pas re-valider l'envoi d'un message ou l'ouverture d'une discussion, au risque de créer un doublon.

La section divers se réorganise ! De nouvelles sous-sections à venir. (plus d'infos + donner son avis)

#1 Le 16/12/2005, à 18: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, à 10:33)

Hors ligne

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

nfkb

Re : [resolu] Editer police menu gnome

je suis honteux : gnome-font-properties

Hors ligne

Haut de page ↑