Le Mon 22/04/2002, STOJICEVIC Edi EXPSIA disait > Salut, > > Pour g�rer les polices pour GTK tu peux utiliser un ptit utilitaire > dont j'avais parl� il y a de cela une dizaine de jours ... > > Si quelqu'un � le nom ? (Je suis au taf et j'ai pas d'acc�s � une > debian ni au Net :( ) > > C'�tait un truc du genre gtk-xxxx-switch ou quelque chose comme �a ...
C'�tait gtk-theme-switch ou gtk-themes-switch -- Erwan -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
