editors/Viewer.py
changeset 1366 3756ae754713
parent 1363 e87e0166d0a7
child 1377 cc8f9177d41c
equal deleted inserted replaced
1365:debc97102b23 1366:3756ae754713
  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