comparison: borgend/ui.py
borgend/ui.py
- changeset 144
- 31227feaa05a
- parent 141
- a1c97bc1789e
equal
deleted
inserted
replaced
| 143:61fcd6edb27f | 144:31227feaa05a |
|---|---|
| 302 | 302 |
| 303 if update and self.title!=title: | 303 if update and self.title!=title: |
| 304 logger.debug("set title %s" % title) | 304 logger.debug("set title %s" % title) |
| 305 self.title=title | 305 self.title=title |
| 306 | 306 |
| 307 if not self.updated_recently and not refresh_time: | 307 self.refresh_timer.stop() |
| 308 self.refresh_timer.stop() | 308 |
| 309 elif self.updated_recently: | 309 if self.updated_recently: |
| 310 self.updated_recently=False | 310 self.updated_recently=False |
| 311 if self.refresh_timer.interval>refresh_interval: | 311 if self.refresh_timer.interval>refresh_interval: |
| 312 self.refresh_timer.stop() | 312 self.refresh_timer.stop() |
| 313 self.refresh_timer.interval=refresh_interval | 313 self.refresh_timer.interval=refresh_interval |
| 314 self.refresh_timer.start() | 314 self.refresh_timer.start() |
| 315 else: | 315 elif refresh_time: |
| 316 # Need to time a refresh due to content display changing, | 316 # Need to time a refresh due to content display changing, |
| 317 # e.g., 'tomorrow' changing to a more specific hour. | 317 # e.g., 'tomorrow' changing to a more specific hour. |
| 318 when=time.mktime(refresh_time.timetuple()) | 318 when=time.mktime(refresh_time.timetuple()) |
| 319 delay=max(when-time.time(), refresh_interval) | 319 delay=max(when-time.time(), refresh_interval) |
| 320 logger.debug('Timing menu refresh in %s seconds' % delay) | 320 logger.debug('Timing menu refresh in %s seconds' % delay) |
