Pages : 1
#1 Le 10/09/2010, à 11:17
- Spitfire 95
Changer la police du menu GNOME
Bonjour.
J'ai cherché comment changer la police utilisée dans le menu de GNOME pour la remplacer par ubuntu-title, mais sans résultat.
J'ai regardé le fichier de configuration du thème Radiance, mais je n'ai pas trouvé de variable correspondant à cela.
Aucune clé dans Gconf-editor.
Je sais qu'on peut la changer avec Menu>>Système>>Préférences>>Apparence, mais ça change aussi la police des applications, et Google Chrome avec la police ubuntu-title, c'est pas très lisible.
Y a t-il un moyen de changer la police du gnome-menu, et uniquement du gnome-menu ?
Merci.
Dernière modification par Spitfire 95 (Le 10/09/2010, à 11:35)
Trisquel GNU/Linux 6.0 / Fedora 19 & rawhide.
joueur ryzom et wesnoth
Développeur livewallpaper
Membre déserteur et traître de la brigade des S.
Hors ligne
Pages : 1