Le Thu, 16 Jan 2003 18:09:13 +0100 Erwan David <[EMAIL PROTECTED]> �crivait :
> > Quand tu vois que pour changer les fontes GTK tu as 2 moyens: > > 1) comprendre la doc de programmation, quels sont les widgets et > aller > te balader dans les sources du soft que tu utilise pour savoir > ceux que tu dois modifier > > 2) une appli du *panel* *gnome*, 3) gfontsel... J'ai pas l'impression que ce soit "une appli du *panel* *gnome*" me tromp�-je ? -- marco -- Cl� PGP publique : https://iftbqp.mine.nu/marco.asc
pgpZxI7ovTW1B.pgp
Description: PGP signature
