diff -r debc97102b23 -r 3756ae754713 editors/Viewer.py --- 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)