Je ne sais pas si mon souci vient de GTK 1 ou 2, mais en tout cas elles sont aussi très petites, que ce soit dans Gaim, xmms, gnome-terminal, Mozilla, et compagnie. Lorsque je fais un ptit gnome-theme-manager, ça marche, le thème s'installe (d'ailleurs la police du terminal devient beaucoup trop grande et je suis obligé de revenir sur quelque-chose de plus petit...).
Sauf que (oui, pour précision je suis sous Windowmaker, avec le gnome-panel lancé en plus, mais... cela ne change rien au problème) cela ne dure que le temps de la session... :-/ le thème n'est pas sauvegardé, ainsi que la taille des fontes.
J'ai bien évidemment tenté tout ce qui a été dit plus haut ;-) .
.:! L'être humain est au sommet de la chaîne alimentaire. Certes. Mais il est surtout au sommet de la connerie et de la bêtise... !:.
-- Pour les nouveaux linuxiens : Ce n'est pas en continuant de faire ce que l'on connaît que l'on pourra faire ce que l'on ne connaît pas --
Poste le Wednesday 27 July 2005 20:13:12