equal
deleted
inserted
replaced
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": |