Update view menu checkbox on pane-close button activity.

diff --git a/hooke/ui/gui/__init__.py b/hooke/ui/gui/__init__.py
index 73620101ee4fc526f51d779b428d75deda5a1959..fd502c0bde33dfe8cd475d1c36c98a8102bba3da 100644 (file)
--- a/hooke/ui/gui/__init__.py
+++ b/hooke/ui/gui/__init__.py
@@ -243,7 +243,7 @@ class HookeFrame (wx.Frame):
         self.Bind(wx.EVT_ERASE_BACKGROUND, self._on_erase_background)
         self.Bind(wx.EVT_SIZE, self._on_size)
         self.Bind(wx.EVT_CLOSE, self._on_close)
-        self.Bind(aui.EVT_AUI_PANE_CLOSE, self.OnPaneClose)
+        self.Bind(aui.EVT_AUI_PANE_CLOSE, self._on_pane_close)
         self.Bind(aui.EVT_AUINOTEBOOK_PAGE_CLOSE, self._on_notebook_page_close)
 
         return # TODO: cleanup
@@ -657,9 +657,6 @@ class HookeFrame (wx.Frame):
         playlist_name = ctrl.GetPageText(ctrl._curpage)
         self.DeleteFromPlaylists(playlist_name)
 
-    def OnPaneClose(self, event):
-        event.Skip()
-
     def OnPropGridChanged (self, event):
         prop = event.GetProperty()
         if prop:
@@ -857,6 +854,13 @@ class HookeFrame (wx.Frame):
 
     # Panel display handling
 
+    def _on_pane_close(self, event):
+        pane = event.pane
+        view = self._c['menu bar']._c['view']
+        if pane.name in  view._c.keys():
+            view._c[pane.name].Check(False)
+        event.Skip()
+
     def _on_panel_visibility(self, _class, method, panel_name, visible):
         pane = self._c['manager'].GetPane(panel_name)
         pane.Show(visible)