editors/Viewer.py
changeset 1205 638d1d430d24
parent 1204 8a620b460b49
child 1208 d22fcdfae8d0
equal deleted inserted replaced
1204:8a620b460b49 1205:638d1d430d24
   901         self.SelectedElement = None
   901         self.SelectedElement = None
   902         self.HighlightedElement = None
   902         self.HighlightedElement = None
   903         self.ToolTipElement = None
   903         self.ToolTipElement = None
   904     
   904     
   905     def Flush(self):
   905     def Flush(self):
   906         self.UnsubscribeAllDataConsumers()
   906         self.UnsubscribeAllDataConsumers(tick=False)
   907         for block in self.Blocks.itervalues():
   907         for block in self.Blocks.itervalues():
   908             block.Flush()
   908             block.Flush()
   909     
   909         
   910     # Remove all elements
   910     # Remove all elements
   911     def CleanView(self):
   911     def CleanView(self):
   912         for block in self.Blocks.itervalues():
   912         for block in self.Blocks.itervalues():
   913             block.Clean()
   913             block.Clean()
   914         self.ResetView()
   914         self.ResetView()
  1060             DebugViewer.RefreshNewData(self)
  1060             DebugViewer.RefreshNewData(self)
  1061     
  1061     
  1062     def SubscribeAllDataConsumers(self):
  1062     def SubscribeAllDataConsumers(self):
  1063         self.RefreshView()
  1063         self.RefreshView()
  1064         DebugViewer.SubscribeAllDataConsumers(self)
  1064         DebugViewer.SubscribeAllDataConsumers(self)
  1065     
  1065         
  1066     # Refresh Viewer elements
  1066     # Refresh Viewer elements
  1067     def RefreshView(self, variablepanel=True, selection=None):
  1067     def RefreshView(self, variablepanel=True, selection=None):
  1068         EditorPanel.RefreshView(self, variablepanel)
  1068         EditorPanel.RefreshView(self, variablepanel)
  1069         
  1069         
  1070         if self.TagName.split("::")[0] == "A":
  1070         if self.TagName.split("::")[0] == "A":