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)
