BeremizIDE.py
changeset 1751 c28db6f7616b
parent 1750 acf02488f37f
child 1756 08e4394ff4fb
equal deleted inserted replaced
1750:acf02488f37f 1751:c28db6f7616b
   595 
   595 
   596     # Strange hack required by WAMP connector, using twisted.
   596     # Strange hack required by WAMP connector, using twisted.
   597     # Twisted reactor needs to be stopped only before quit,
   597     # Twisted reactor needs to be stopped only before quit,
   598     # since it cannot be restarted
   598     # since it cannot be restarted
   599     ToDoBeforeQuit = []
   599     ToDoBeforeQuit = []
       
   600 
   600     def AddToDoBeforeQuit(self, Thing):
   601     def AddToDoBeforeQuit(self, Thing):
   601         self.ToDoBeforeQuit.append(Thing)
   602         self.ToDoBeforeQuit.append(Thing)
   602 
   603 
   603     def OnCloseFrame(self, event):
   604     def OnCloseFrame(self, event):
   604         for evt_type in [wx.EVT_SET_FOCUS,
   605         for evt_type in [wx.EVT_SET_FOCUS,