# HG changeset patch
# User Laurent Bessard
# Date 1367494224 -7200
# Node ID 16cc3c42e413359c1ac578a10cf88a9b32d065f2
# Parent  b566ab5556aba5966130a5d5c9b103997b3bcb0d
Fixed bug when closing Beremiz frame

diff -r b566ab5556ab -r 16cc3c42e413 Beremiz.py
--- a/Beremiz.py	Thu May 02 10:45:07 2013 +0200
+++ b/Beremiz.py	Thu May 02 13:30:24 2013 +0200
@@ -580,8 +580,7 @@
         InspectionTool().Show(wnd, True)
 
     def OnLogConsoleFocusChanged(self, event):
-        if self.EditMenu:
-            self.RefreshEditMenu()
+        self.RefreshEditMenu()
         event.Skip()
 
     def OnLogConsoleUpdateUI(self, event):
@@ -659,6 +658,8 @@
             return IDEFrame.LoadTab(self, notebook, page_infos)
     
     def OnCloseFrame(self, event):
+        self.LogConsole.Unbind(wx.EVT_KILL_FOCUS, self.OnLogConsoleFocusChanged)
+        self.LogConsole.Unbind(wx.stc.EVT_STC_UPDATEUI, self.OnLogConsoleUpdateUI)
         if self.CTR is None or self.CheckSaveBeforeClosing(_("Close Application")):
             if self.CTR is not None:
                 self.CTR.KillDebugThread()
diff -r b566ab5556ab -r 16cc3c42e413 IDEFrame.py
--- a/IDEFrame.py	Thu May 02 10:45:07 2013 +0200
+++ b/IDEFrame.py	Thu May 02 13:30:24 2013 +0200
@@ -903,8 +903,7 @@
             wx.TheClipboard.SetData(data)
             wx.TheClipboard.Flush()
             wx.TheClipboard.Close()
-        if self.EditMenu:
-            self.RefreshEditMenu()
+        self.RefreshEditMenu()
 
     def GetDrawingMode(self):
         return self.DrawingMode