diff -r 8a620b460b49 -r 638d1d430d24 editors/Viewer.py --- a/editors/Viewer.py Fri May 31 13:31:11 2013 +0200 +++ b/editors/Viewer.py Fri May 31 14:17:23 2013 +0200 @@ -903,10 +903,10 @@ self.ToolTipElement = None def Flush(self): - self.UnsubscribeAllDataConsumers() + self.UnsubscribeAllDataConsumers(tick=False) for block in self.Blocks.itervalues(): block.Flush() - + # Remove all elements def CleanView(self): for block in self.Blocks.itervalues(): @@ -1062,7 +1062,7 @@ def SubscribeAllDataConsumers(self): self.RefreshView() DebugViewer.SubscribeAllDataConsumers(self) - + # Refresh Viewer elements def RefreshView(self, variablepanel=True, selection=None): EditorPanel.RefreshView(self, variablepanel)