Pages : 1
#1 Le 16/12/2005, à 19:55
- Compte supprimé
[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 Compte supprimé (Le 19/12/2005, à 11:33)
#2 Le 19/12/2005, à 11:34
- Compte supprimé
Re : [resolu] Editer police menu gnome
je suis honteux : gnome-font-properties
Pages : 1