Contenu | Rechercher | Menus

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

nfkb
Membre

[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
Membre

Re : [resolu] Editer police menu gnome

je suis honteux : gnome-font-properties

Hors ligne