1052 self.ElementRefreshList_lock.acquire() |
1052 self.ElementRefreshList_lock.acquire() |
1053 self.ElementRefreshList.append(element) |
1053 self.ElementRefreshList.append(element) |
1054 self.ElementRefreshList_lock.release() |
1054 self.ElementRefreshList_lock.release() |
1055 |
1055 |
1056 def NewDataAvailable(self, ticks, *args, **kwargs): |
1056 def NewDataAvailable(self, ticks, *args, **kwargs): |
1057 refresh_rect = None |
1057 if self.IsShown(): |
1058 self.ElementRefreshList_lock.acquire() |
1058 refresh_rect = None |
1059 for element in self.ElementRefreshList: |
1059 self.ElementRefreshList_lock.acquire() |
1060 if refresh_rect is None: |
1060 for element in self.ElementRefreshList: |
1061 refresh_rect = element.GetRedrawRect() |
1061 if refresh_rect is None: |
1062 else: |
1062 refresh_rect = element.GetRedrawRect() |
1063 refresh_rect.Union(element.GetRedrawRect()) |
1063 else: |
1064 self.ElementRefreshList = [] |
1064 refresh_rect.Union(element.GetRedrawRect()) |
1065 self.ElementRefreshList_lock.release() |
1065 self.ElementRefreshList = [] |
1066 |
1066 self.ElementRefreshList_lock.release() |
1067 if refresh_rect is not None: |
1067 |
1068 self.RefreshRect(self.GetScrolledRect(refresh_rect), False) |
1068 if refresh_rect is not None: |
1069 |
1069 self.RefreshRect(self.GetScrolledRect(refresh_rect), False) |
|
1070 |
1070 def SubscribeAllDataConsumers(self): |
1071 def SubscribeAllDataConsumers(self): |
1071 self.RefreshView() |
1072 self.RefreshView() |
1072 DebugViewer.SubscribeAllDataConsumers(self) |
1073 DebugViewer.SubscribeAllDataConsumers(self) |
1073 |
1074 |
1074 # Refresh Viewer elements |
1075 # Refresh Viewer elements |