def _timer_start(self): self._timer_stop() if self._single: self._timer = window.setTimeout(self._on_timer, self.interval) else: self._timer = window.setInterval(self._on_timer, self.interval)
def draw_idle(self): if not self._idle_scheduled: self._idle_scheduled = True window.setTimeout(self.draw, 1)
def call_soon(self, callback, *args, context=None): handle = asyncio.Handle(callback, args, self, context=context) window.setTimeout(handle._run) return handle
def call_later(self, when, callback, *args, context=None): handle = asyncio.Handle(callback, args, self, context=context) window.setTimeout(handle._run, when * 1000.0) return handle
def schedule_search(self): if self.timeout is not None: window.clearTimeout(self.timeout) self.timeout = window.setTimeout(self.search, 1000)