BeremizIDE.py
changeset 2624 570cf07c3fd1
parent 2571 d968d586ad16
child 2704 4ba3bdc7d71f
equal deleted inserted replaced
2623:26ba948a2e51 2624:570cf07c3fd1
   622             return True
   622             return True
   623         return False
   623         return False
   624 
   624 
   625     def OnCloseFrame(self, event):
   625     def OnCloseFrame(self, event):
   626         if self.TryCloseFrame():
   626         if self.TryCloseFrame():
       
   627             self.LogConsole.Disconnect(-1, -1, wx.wxEVT_KILL_FOCUS)
   627             event.Skip()
   628             event.Skip()
   628         else:
   629         else:
   629             # prevent event to continue, i.e. cancel closing
   630             # prevent event to continue, i.e. cancel closing
   630             event.Veto()
   631             event.Veto()
   631 
   632