equal
deleted
inserted
replaced
254 """ |
254 """ |
255 # Stop last refresh timer |
255 # Stop last refresh timer |
256 self.TimerAccessLock.acquire() |
256 self.TimerAccessLock.acquire() |
257 if self.LastRefreshTimer is not None: |
257 if self.LastRefreshTimer is not None: |
258 self.LastRefreshTimer.cancel() |
258 self.LastRefreshTimer.cancel() |
259 self.LastRefreshTimer=None |
259 self.LastRefreshTimer = None |
260 self.TimerAccessLock.release() |
260 self.TimerAccessLock.release() |
261 |
261 |
262 # Only try to refresh DebugViewer if it is visible on screen and not |
262 # Only try to refresh DebugViewer if it is visible on screen and not |
263 # already refreshing |
263 # already refreshing |
264 if self.IsShown() and not self.Inhibited: |
264 if self.IsShown() and not self.Inhibited: |