The program 'demineur_gui.py' received an X Window System error.
This probably reflects a bug in the program.
The error was 'RenderBadPicture (invalid Picture parameter)'.
  (Details: serial 956 error_code 181 request_code 155 minor_code 7)
  (Note to programmers: normally, X errors are reported asynchronously;
   that is, you will receive the error a while after causing it.
   To debug your program, run it with the --sync command line
   option to change this behavior. You can then get a meaningful
   backtrace from your debugger if you break on the gdk_x_error() function.


Ce bug est apparu à partir de la version mineure 11 lors de l'implémentation de l'histogramme pour le calcul des scores moyens (stats.py).

Comment le reproduire :
Avec la version mineure 13 :

• lancer le jeu : python demineur_gui.py ;
• cliquez sur histogramme dans le menu Statistiques, puis refermez la fenêtre de l'histogramme ;
• fermez par exemple le jeu.