Le jeu 16/01/2003 à 18:09, Erwan David a écrit : > 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*,
1 ) Tu te trompes totalement. Tu peux changer la police des applis en ligne de commande si tu le souhaites, avec gconftool. Ah oui, j'oubliais, gconftool fait partie de gnome et de ce fait c'est trop lourd. J'ai donc une autre solution : tu te délogues (de ta session X), tu tues le démon gconfd, tu édites le fichier xml qui contient la police et tu te relogues... Pas un seul morceau de gnome la dedans. 2 ) Tu te fous pas un peu de la gueule du monde... Se plaindre du fait que Gnome utilise une interface graphique Gnome pour changer ses polices ?! 3 ) Concernant The Gimp : On ne critique pas un projet auquel sa contribution est nulle (je me trompe ?). Tu te plains de l'utilisation de librairies qui permettent de rendre un soft "accessible", c'est à dire de permettre son utilisation par des gens qui n'ont plus toutes leurs capacités physiques. Moi je trouve ça extrêmement positif comme évolution contrairement à ce que tu décris comme une dérive. Il s'agit justement d'un point sur lequel l'utilisateur passe avant le développeur (je ne me rappelle pas avoir entendu parlé d'un développeur Gimp handicapé, mais je peux me tromper), chose à laquelle tu sembles tant attaché (et qui comme cela a été déjà précisé n'est de loin pas la règle dans le logiciel libre). -- Fred RISS <[EMAIL PROTECTED]>