# HG changeset patch
# User Edouard Tisserant <edouard.tisserant@gmail.com>
# Date 1563008245 -7200
# Node ID 570cf07c3fd1c8f91d5bb900844382de8bb952ab
# Parent  26ba948a2e51bade47cd1fbb037bc53a8b2a66b7
Fix exception on exit in some case, sequel of an earlier cleanup commit I couldn't find back. Disconnecting the event is apparently the way to go. https://wiki.wxpython.org/Surviving%20with%20wxEVT%20KILL%20FOCUS%20under%20Microsoft%20Windows

diff -r 26ba948a2e51 -r 570cf07c3fd1 BeremizIDE.py
--- 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