equal
deleted
inserted
replaced
466 if self.local_runtime is not None: |
466 if self.local_runtime is not None: |
467 # shutdown local runtime |
467 # shutdown local runtime |
468 self.local_runtime.kill(gently=False) |
468 self.local_runtime.kill(gently=False) |
469 # clear temp dir |
469 # clear temp dir |
470 shutil.rmtree(self.local_runtime_tmpdir) |
470 shutil.rmtree(self.local_runtime_tmpdir) |
|
471 |
|
472 self.local_runtime = None |
471 |
473 |
472 def OnOpenWidgetInspector(self, evt): |
474 def OnOpenWidgetInspector(self, evt): |
473 # Activate the widget inspection tool |
475 # Activate the widget inspection tool |
474 from wx.lib.inspection import InspectionTool |
476 from wx.lib.inspection import InspectionTool |
475 if not InspectionTool().initialized: |
477 if not InspectionTool().initialized: |