BeremizIDE.py
branchwxPython4
changeset 3317 ecfa689684c5
parent 3312 2c0511479b18
child 3318 aee9e98c856a
--- a/BeremizIDE.py	Mon Sep 13 13:02:52 2021 +0200
+++ b/BeremizIDE.py	Mon Sep 13 17:57:47 2021 +0200
@@ -474,8 +474,6 @@
         if self.EnableDebug:
             self.DebugVariablePanel.SetDataProducer(self.CTR)
 
-        self.Bind(wx.EVT_CLOSE, self.OnCloseFrame)
-
         self._Refresh(TITLE, EDITORTOOLBAR, FILEMENU, EDITMENU, DISPLAYMENU)
         self.RefreshAll()
         self.LogConsole.SetFocus()
@@ -640,6 +638,7 @@
     def OnCloseFrame(self, event):
         if self.TryCloseFrame():
             self.LogConsole.Disconnect(-1, -1, wx.wxEVT_KILL_FOCUS)
+            super(Beremiz, self).OnCloseFrame(event)
             event.Skip()
         else:
             # prevent event to continue, i.e. cancel closing