equal
deleted
inserted
replaced
515 return True |
515 return True |
516 |
516 |
517 def OnCloseFrame(self, event): |
517 def OnCloseFrame(self, event): |
518 if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")): |
518 if self.PluginRoot is None or self.CheckSaveBeforeClosing(_("Close Application")): |
519 self.KillLocalRuntime() |
519 self.KillLocalRuntime() |
|
520 self.PluginRoot.KillDebugThread() |
520 event.Skip() |
521 event.Skip() |
521 else: |
522 else: |
522 event.Veto() |
523 event.Veto() |
523 |
524 |
524 def OnMoveWindow(self, event): |
525 def OnMoveWindow(self, event): |