Beremiz.py
changeset 403 ae4a85291441
parent 402 984e238e63d0
child 404 dbe88e319bdf
equal deleted inserted replaced
402:984e238e63d0 403:ae4a85291441
  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):