| Il arrive parfois (vraiment rarement) que le compteur affiche n'importe quoi. Souvent en fin de partie, cela n'est donc pas très dérangeant. Cela vient très probablement du thread à l'intérieur du quel tourne la fonction mettant à jour l'affichage de temps. Bizarrement le bug n'apparaît pas à la même fréquence selon le système ou distribution utilisé. J'ai en effet constaté plus de problèmes sur ma Debian Etch que sur une Mandriva 2008.1 :-( Si toute fois le problème survient en cours de partie, il suffit de changer de style pour que le compteur reprenne correctement. J'ai mon idée sur l'origine du problème, mais depuis quelques modifications dans la gestion du thread en question le problème ne survient quasiment plus. C'est pour cette raison que je ne peut pas mettre de capture... Et voilà j'ai finalement une capture :  Le problème est apparu à la fin de la partie. ça à l'air de venir d'ici : self.score.configure(text=str(int(self.temps))) ligne 310 du fichier demineur_gui.py de la version mineure 14. On a l'impression que la fonction int() échoue à l'arrêt du thread ... |
|
Bugs >
bug1 |