--- 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)