Clean quit the app when no styles are found.
2 files changed, 12 insertions(+), 12 deletions(-)

M src/grille_graphique.py
M src/minesweeper.py
M src/grille_graphique.py +11 -11
@@ 161,8 161,8 @@ class grille_jeux(object):
     def mvt_gauche(self, event):
         if 0 <= event.x <= self.larg * self.grille.largeur \
                 and 0 <= event.y <= self.larg * self.grille.hauteur:
-            c = event.x/self.larg
-            l = event.y/self.larg
+            c = event.x//self.larg
+            l = event.y//self.larg
             if not self.dc:
                 if self.grille_etat[self.al][self.ac] == 0:
                     self.canvas.create_image(self.larg*self.ac, self.larg*self.al, image = self.newStyle.cache, anchor = NW)

          
@@ 201,8 201,8 @@ class grille_jeux(object):
         """
         #print "gauche appuye"
         self.gauchepress = True
-        c = int(event.x/self.larg)
-        l = int(event.y/self.larg)
+        c = event.x//self.larg
+        l = event.y//self.larg
         if 0 <= event.x <= self.larg * self.grille.largeur \
                 and 0 <= event.y <= self.larg * self.grille.hauteur:
             if self.grille_etat[l][c] == 0:

          
@@ 223,8 223,8 @@ class grille_jeux(object):
             if self.gauchepress == True:
                 self.dc = True
                 #print "dc"
-                c = int(event.x/self.larg)
-                l = int(event.y/self.larg)
+                c = event.x//self.larg
+                l = event.y//self.larg
                 self.afficher_voisins(l,c)
 
     def drapeau(self, l, c):

          
@@ 335,8 335,8 @@ class grille_jeux(object):
         self.gauchepress = False
         if 0 <= event.x <= self.larg * self.grille.largeur \
                 and 0 <= event.y <= self.larg * self.grille.hauteur:
-            c = int(event.x / self.larg)
-            l = int(event.y / self.larg)
+            c = event.x // self.larg
+            l = event.y // self.larg
             if not self.dc: #si l'action n'est pas dans un double clique
                 self.decouvrir(l,c) #on decouvre la case cliquee
             else:

          
@@ 352,8 352,8 @@ class grille_jeux(object):
         self.droitpress = False
         if 0 <= event.x <= self.larg * self.grille.largeur \
                 and 0 <= event.y <= self.larg * self.grille.hauteur:
-            c = int(event.x / self.larg)
-            l = int(event.y / self.larg)
+            c = event.x // self.larg
+            l = event.y // self.larg
             if not self.dc:
                 self.drapeau(l,c)
             else:

          
@@ 361,4 361,4 @@ class grille_jeux(object):
                 if self.gauchepress == False:
                     self.dc = False
         self.dc = False
-        self.redessiner()
  No newline at end of file
+        self.redessiner()

          
M src/minesweeper.py +1 -1
@@ 100,7 100,7 @@ class Demineur_gui(object):
             print(_("Le jeu ne peut pas se construire :\nAucun style de jeu trouvé.\n"))
             tkinter.messagebox.showerror('Erreur',\
                 _("Le jeu ne peut pas se construire :\nAucun style de jeu trouvé.\n"))
-            self.master.quit()
+            self.quitter()
             return
 
         self.leStyle = "gnome" # style par défaut