polices de menus
Bonjour,
Comment fait-on pour choisir la police qui sert dans les menus des
applications (pas pour les menus Gnome, mais par exemple pour la barre
"File Edit Options..." d'Emacs ou la barre "Fichier NewTerm Éditer..."
de multi-gnome-terminal) ? J'ai deux machines sous testing avec deux
polices qui ne se ressemblent pas du tout, dont une pas jolie. :-)
Merci.
[CITATION ALÉATOIRE : Heureusement, en Angleterre, la pensée n'est pas
contagieuse. Oscar Wilde]
--
Pierre Crescenzo
mailto:Pierre-sansspam@crescenzo.nom.fr
(Retirez « -sansspam » pour répondre. Merci.)
http://www.crescenzo.nom.fr/
Reply to: