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

Re: wmaker : taille des polices



Le ven 21/05/2004 à 22:40, Jean-Michel OLTRA a écrit :
> Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit...
> Si c'est du gtk, il y a le ~/.gtkrc je pense, mais pour ce qui est de
> mettre dedans...

Si c'est du gtk2, le fichier à modifier est ~/.gtkrc-2.0.
Un message est passé à ce propos il y a quelques jours :
$ cat ~/.gtkrc-2.0.
style "user-font"               
{                               
        font_name="Sans 8"      
}                               
widget_class "*" style "user-font"

Chez moi, ça marche au poil !

Léo.



Reply to: