Au début, je ne voulais que signaler le bug. Mais comme ils m'ont refoulés, ça m'a donné envie d'aller plus loin. J'ai donc isolé très précisément le problème, et j'ai cherché une solution.
Le but n'était pas de faire un patch, car je ne sais pas comment fonctionne Gnome dans son ensemble, mais plutôt de montrer la voie à suivre.
Bon, si j'ai le temps, je vais me coltiner un patch propre (genre qui ne casse pas l'API par exemple :-)).
[^] # Re: réponses
Posté par Victor STINNER (site web personnel) . En réponse au journal De la difficulté de contribuer à des gros projets. Évalué à 1.
Le but n'était pas de faire un patch, car je ne sais pas comment fonctionne Gnome dans son ensemble, mais plutôt de montrer la voie à suivre.
Bon, si j'ai le temps, je vais me coltiner un patch propre (genre qui ne casse pas l'API par exemple :-)).
@+, Haypo