equal
deleted
inserted
replaced
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, |