Beremiz.py
changeset 466 11263fd24566
parent 456 dbcf4a13926d
child 490 898648a09e13
equal deleted inserted replaced
465:67d32a91d70b 466:11263fd24566
   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):