def scroll_event(self, widget, event): # event.button, event.x, event.y x = event.x y = event.y degrees, direction = get_scroll_info(event) self.logger.debug("scroll deg=%f direction=%f" % (degrees, direction)) data_x, data_y = self.get_data_xy(x, y) self.last_data_x, self.last_data_y = data_x, data_y return self.make_ui_callback('scroll', direction, degrees, data_x, data_y)
def scroll_event(self, widget, event): # event.button, event.x, event.y x = event.x; y = event.y degrees, direction = get_scroll_info(event) self.logger.debug("scroll deg=%f direction=%f" % ( degrees, direction)) data_x, data_y = self.get_data_xy(x, y) self.last_data_x, self.last_data_y = data_x, data_y return self.make_ui_callback('scroll', direction, degrees, data_x, data_y)
def scroll_event(self, widget, event): # event.button, event.x, event.y num_degrees, direction = get_scroll_info(event) if (direction < 90.0) or (direction > 270.0): # up scale_factor = 1.1 else: # not up! scale_factor = 0.9 self.stretch_colormap(scale_factor) return self.make_callback('scroll', event)