Re: Fonts des menus d'evolution

[Guillaume Membré <guillaume.membre.anti-spam@eleve.emn.fr>]

On Tue, 2003-10-14 at 13:51, Sylvestre wrote:
> Salut,
salut

> Une petite question rapide :
> je voudrais changer la taille des polices utilisées dans les menus par
> Evolution mais je ne sais pas vraiment comment faire ...
> (j'arrive a changer la font utilisée dans l'affichage de l'email via
> l'administration de evolution mais je trouve pas pour les menus ...)
les menus d'evolutions sont liés a gnome. 
lance : gnome-font-properties  et tu trouveras ton bonheur
> Merci
dr
> Sylvestre
Guillaume