--- a/editors/Viewer.py Mon Oct 14 12:28:44 2013 +0200
+++ b/editors/Viewer.py Mon Oct 14 14:59:15 2013 +0200
@@ -1054,19 +1054,20 @@
self.ElementRefreshList_lock.release()
def NewDataAvailable(self, ticks, *args, **kwargs):
- refresh_rect = None
- self.ElementRefreshList_lock.acquire()
- for element in self.ElementRefreshList:
- if refresh_rect is None:
- refresh_rect = element.GetRedrawRect()
- else:
- refresh_rect.Union(element.GetRedrawRect())
- self.ElementRefreshList = []
- self.ElementRefreshList_lock.release()
-
- if refresh_rect is not None:
- self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
-
+ if self.IsShown():
+ refresh_rect = None
+ self.ElementRefreshList_lock.acquire()
+ for element in self.ElementRefreshList:
+ if refresh_rect is None:
+ refresh_rect = element.GetRedrawRect()
+ else:
+ refresh_rect.Union(element.GetRedrawRect())
+ self.ElementRefreshList = []
+ self.ElementRefreshList_lock.release()
+
+ if refresh_rect is not None:
+ self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
+
def SubscribeAllDataConsumers(self):
self.RefreshView()
DebugViewer.SubscribeAllDataConsumers(self)