BeremizIDE.py
changeset 2624 570cf07c3fd1
parent 2571 d968d586ad16
child 2704 4ba3bdc7d71f
--- a/BeremizIDE.py	Fri Jul 12 11:53:04 2019 +0200
+++ b/BeremizIDE.py	Sat Jul 13 10:57:25 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