Re: wmaker : taille des polices

Mon, 24 May 2004 16:59:45 -0500 

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.

Répondre à