On Monday 17 March 2003 11:43, Christian Marillat wrote:
> > Dans /usr/share/themes/Default/gtk/gtkrc
> >
> > Mince, il est vide :
> >
> > # Empty gtkrc for default theme
>
> Ha, ben oui. J'ai jamais regardé dans ce fichier :)
>
> Essayes de renommer le fichier .gtkrc.mine en .gtkrc
Bon, je viens de mettre des caracteres bidons dans le fichier pour generer
une erreur. Il faut effectivement qu'il s'appelle .gtkrc, sinon il n'est
pas utilise.
Par contre, la police ne change toujours pas. Peut-etre est-ce le
style "user-font"
qui n'est pas bon ? Ou puis-je trouver les differents 'style' possible ? Je
vais en essayer d'autres pour voir...
