polices de menus

[Pierre Crescenzo <Pierre-sansspam@crescenzo.nom.fr>]

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/