fix issue #20

change CallLater to CallAfter

fix crash in wxpython caused by timer fired on GridWindow after it was destroyed
now the timer is stopped immediately after GridWindow is destroyed

src/robotide/editor/editors.py

@@ -146,7 +146,7 @@ def _create_settings(self):
     def _restore_settings_open_status(self):
         if self._should_settings_be_open():
             self._settings.Expand()
-            wx.CallLater(200, self._collabsible_changed)
+            wx.CallAfter(self._collabsible_changed)
         else:
             self._settings.Collapse()
 

src/robotide/editor/tooltips.py

@@ -25,10 +25,15 @@ def __init__(self, grid):
         self._information_popup = HtmlPopupWindow(grid, (450, 300))
         self._grid = grid
         self._tooltip_timer = wx.Timer(grid.GetGridWindow())
+        grid.GetGridWindow().Bind(wx.EVT_WINDOW_DESTROY, self.OnGridDestroy)
         grid.GetGridWindow().Bind(wx.EVT_MOTION, self.OnMouseMotion)
         grid.GetGridWindow().Bind(wx.EVT_TIMER, self.OnShowToolTip)
         grid.Bind(wx.grid.EVT_GRID_EDITOR_HIDDEN, self.OnGridEditorHidden)
 
+    def OnGridDestroy(self, event):
+        self._tooltip_timer.Stop()
+        event.Skip()
+
     def OnMouseMotion(self, event):
         self._hide_tooltip()
         self._start_tooltip_timer()