wxGUI/animation: fix closing window when animation is running (merged from trunk, https://trac.osgeo.org/grass/changeset/59517)

git-svn-id: https://svn.osgeo.org/grass/grass/branches/releasebranch_7_0@59518 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/animation/frame.py

@@ -309,10 +309,13 @@ class AnimationFrame(wx.Frame):
                    entry='wxGUI.animation')
 
     def OnCloseWindow(self, event):
+        if self.controller.timer.IsRunning():
+                self.controller.timer.Stop()
         CleanUp(TMP_DIR)()
         self.Destroy()
 
     def __del__(self):
+        """!It might not be called, therefore we try to clean it all in OnCloseWindow."""
         if hasattr(self, 'controller') and hasattr(self.controller, 'timer'):
             if self.controller.timer.IsRunning():
                 self.controller.timer.Stop()