1051     def ElementNeedRefresh(self, element):

  1051     def ElementNeedRefresh(self, element):

  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         

  1057         refresh_rect = None

  1057         refresh_rect = None

  1058         self.ElementRefreshList_lock.acquire()

  1058         self.ElementRefreshList_lock.acquire()

  1059         for element in self.ElementRefreshList:

  1059         for element in self.ElementRefreshList:

  1060             if refresh_rect is None:

  1060             if refresh_rect is None:

  1061                 refresh_rect = element.GetRedrawRect()

  1061                 refresh_rect = element.GetRedrawRect()

  1064         self.ElementRefreshList = []

  1064         self.ElementRefreshList = []

  1065         self.ElementRefreshList_lock.release()

  1065         self.ElementRefreshList_lock.release()

  1066         

  1066         

  1067         if refresh_rect is not None:

  1067         if refresh_rect is not None:

  1068             self.RefreshRect(self.GetScrolledRect(refresh_rect), False)

  1068             self.RefreshRect(self.GetScrolledRect(refresh_rect), False)

  1071     

  1069     

  1072     def SubscribeAllDataConsumers(self):

  1070     def SubscribeAllDataConsumers(self):

  1073         self.RefreshView()

  1071         self.RefreshView()

  1074         DebugViewer.SubscribeAllDataConsumers(self)

  1072         DebugViewer.SubscribeAllDataConsumers(self)

  1075         

  1073