Bravo, ce démineur est quand même plus joli que celui de Windows, mais celui de Gnome est quand même mieux intègré. :-°
J'ai repèré (et corrigé) quelques bugs concernant les scores :

1 - l'enregistrement d'un score (énervant quand on pense avoir fait un temps de malade !) : score.py, ligne 128 :
tempText = self.doc.createTextNode(tempsPers)
tempPers est un entier alors que la méthode attend une chaîne de caractères :
tempText = self.doc.createTextNode(repr(tempsPers))

2 - l'enregistrement des scores dans le fichier XML : score.py, ligne 136 :
file.write('%s' % self.doc.toprettyxml().encode('utf-8'))
c'est pas vraiment un bug, mais toprettyxml retourne un code xml un peu verbeux, et à force de lire/écrire les scores, ça ne fait que grossir à chaque fois le document vu qu'on écrit dans le fichier ce qu'on a lu :
file.write('%s' % self.doc.toxml().encode('utf-8'))

Bonne continuation !