equal
deleted
inserted
replaced
1271 first = False |
1271 first = False |
1272 |
1272 |
1273 def ResetView(self): |
1273 def ResetView(self): |
1274 IDEFrame.ResetView(self) |
1274 IDEFrame.ResetView(self) |
1275 self.PluginInfos = {} |
1275 self.PluginInfos = {} |
|
1276 if self.PluginRoot is not None: |
|
1277 self.PluginRoot.CloseProject() |
1276 self.PluginRoot = None |
1278 self.PluginRoot = None |
1277 self.Log.flush() |
1279 self.Log.flush() |
1278 self.DebugVariablePanel.SetDataProducer(None) |
1280 self.DebugVariablePanel.SetDataProducer(None) |
1279 |
1281 |
1280 def OnNewProjectMenu(self, event): |
1282 def OnNewProjectMenu(self, event): |