Le Thu, 16 Jan 2003 19:14:52 +0100 [EMAIL PROTECTED] écrivait : > Le Thu 16/01/2003, marco disait > > 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 ? > > tu changes comment les fontes des menus de xchat avec gfontsel ? >
avec ed et .gtkrc. Bien sûr, il faut être un véritable... et lire un peu de doc. PK -- Patrice KARATCHENTZEFF STMicroelectronics Tel: 04-76-92-63-81 850, rue Jean Monnet 38926 CROLLES Cedex, France Courriel: [EMAIL PROTECTED]
