400         if self.LastRefreshTimer is not None:

   400         if self.LastRefreshTimer is not None:

   401             self.LastRefreshTimer.cancel()

   401             self.LastRefreshTimer.cancel()

   402             self.LastRefreshTimer=None

   402             self.LastRefreshTimer=None

   403         self.TimerAccessLock.release()

   403         self.TimerAccessLock.release()

   404         if self.IsShown() and not self.Inhibited:

   404         if self.IsShown() and not self.Inhibited:

   407                 self.AccessLock.acquire()

   406                 self.AccessLock.acquire()

   408                 self.HasAcquiredLock = True

   407                 self.HasAcquiredLock = True

   409                 self.AccessLock.release()

   408                 self.AccessLock.release()

   410                 self.LastRefreshTime = gettime()

   409                 self.LastRefreshTime = gettime()

   411                 self.Inhibit(True)

   410                 self.Inhibit(True)

   425         self.Inhibit(False)

   424         self.Inhibit(False)

   426         self.AccessLock.acquire()

   425         self.AccessLock.acquire()

   427         if self.HasAcquiredLock:

   426         if self.HasAcquiredLock:

   428             DEBUG_REFRESH_LOCK.release()

   427             DEBUG_REFRESH_LOCK.release()

   429             self.HasAcquiredLock = False

   428             self.HasAcquiredLock = False

   430         self.AccessLock.release()

   431         self.AccessLock.release()

   431 

   432 

   432 #-------------------------------------------------------------------------------

   433 #-------------------------------------------------------------------------------

   433 #                               Viewer Rubberband

   434 #                               Viewer Rubberband

   434 #-------------------------------------------------------------------------------

   435 #-------------------------------------------------------------------------------