Contenu | Rechercher | Menus

Annonce

Ubuntu-fr.org recrute toujours de nouveaux modérateurs, avec de l'expérience.

Ubuntu 16.04 LTS
Réservez vos DVD et clé USB Ubuntu-fr (premières livraisons mi-mai)

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

M.A.J. en cours du forum possibilité de bug, nous faisons le maximum pour les résoudre au plus vite

#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