BeremizIDE.py
branchsvghmi
changeset 2746 ad94a928d87d
parent 2624 570cf07c3fd1
child 2704 4ba3bdc7d71f
--- a/BeremizIDE.py	Fri Jul 12 11:58:22 2019 +0200
+++ b/BeremizIDE.py	Mon Jul 15 09:05:00 2019 +0200
@@ -624,6 +624,7 @@
 
     def OnCloseFrame(self, event):
         if self.TryCloseFrame():
+            self.LogConsole.Disconnect(-1, -1, wx.wxEVT_KILL_FOCUS)
             event.Skip()
         else:
             # prevent event to continue, i.e. cancel closing