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: