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