Contenu | Rechercher | Menus

Annonce

L'équipe des administrateurs et modérateurs du forum vous invite à prendre connaissance des nouvelles règles.
En cas de besoin, vous pouvez intervenir dans cette discussion.

Ubuntu 18.04 LTS
Ubuntu-fr propose des clés USB de Ubuntu et toutes ses « saveurs » ainsi qu'un magnifique t-shirt pour cette toute nouvelle version d'Ubuntu !

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

À propos de l'équipe du forum.

#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