Re: fonts GTK
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 debian-user-french-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Reply to:
- References:
- RE: fonts GTK
- From: STOJICEVIC Edi EXPSIA <Edi.Stojicevic@socgen.com>