Exemple #1
0
 def request_redraw(self):
     if self.redraw_timer == None:
         self.redraw_timer = timer.Timer(30, self.request_redraw_delayed)
     self.redraw_timer.Start()
Exemple #2
0
 def connect(self, plot):
     self.auto_zoom_timer = timer.Timer(300, self._auto_zoom_y_delayed)
     self.auto_zoom_timer.Stop()
     self.plot = plot
Exemple #3
0
 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()