1112     def ElementNeedRefresh(self, element):

  1112     def ElementNeedRefresh(self, element):

  1113         self.ElementRefreshList_lock.acquire()

  1113         self.ElementRefreshList_lock.acquire()

  1114         self.ElementRefreshList.append(element)

  1114         self.ElementRefreshList.append(element)

  1115         self.ElementRefreshList_lock.release()

  1115         self.ElementRefreshList_lock.release()

  1116 

  1116 

  1118         if self.IsShown():

  1118         if self.IsShown():

  1119             refresh_rect = None

  1119             refresh_rect = None

  1120             self.ElementRefreshList_lock.acquire()

  1120             self.ElementRefreshList_lock.acquire()

  1121             for element in self.ElementRefreshList:

  1121             for element in self.ElementRefreshList:

  1122                 if refresh_rect is None:

  1122                 if refresh_rect is None: