editors/Viewer.py
changeset 1205 638d1d430d24
parent 1204 8a620b460b49
child 1208 d22fcdfae8d0
--- 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)