(self, *args)
| 43 | @gui.decorate_set_on_listener("(self, emitter)") |
| 44 | @gui.decorate_event |
| 45 | def onelapsed(self, *args): |
| 46 | if not self.stop: |
| 47 | Timer(self.interval_milliseconds/1000.0, self.onelapsed).start() |
| 48 | self.stop = False |
| 49 | return () |
| 50 | |
| 51 | def stop(self, *args): |
| 52 | self.stop = True |