[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: wmaker : taille des polices



	bonjour,


Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit...


> Je peux, bien sûr demander à augmenter la taille des caractères dans  
> les pages visitées ou dans le contenu des messages depuis les  
> paramètres de ces logiciels mais ça ne change pas la taille des  
> caractères de l'application proprement dite : texte des menus,  
> navigateur de fichier s'il y en a....

> Un truc ?

Si c'est du gtk, il y a le ~/.gtkrc je pense, mais pour ce qui est de
mettre dedans...

-- 
jm



Reply to: