def request_redraw(self): if self.redraw_timer == None: self.redraw_timer = timer.Timer(30, self.request_redraw_delayed) self.redraw_timer.Start()
def connect(self, plot): self.auto_zoom_timer = timer.Timer(300, self._auto_zoom_y_delayed) self.auto_zoom_timer.Stop() self.plot = plot
def connect(self, plot): self.plot = plot plot.range_selection.on_trait_change(self._selection_update_handler, "selection") self._timer = timer.Timer(100, self._selection_updated_delayed) self._timer.Stop()