[pitivi: 17/19] Fix bug 630373 - Can't move the zoom slider with the mouse wheel

[Edward Hervey <edwardrv src gnome org>]

commit fce1850f57fd49870ac7f9785fdaf0bad317b0c0
Author: Volker Sobek <reklov live com>
Date:   Tue Nov 23 12:17:41 2010 +0000

    Fix bug 630373 - Can't move the zoom slider with the mouse wheel

 pitivi/ui/timeline.py |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/pitivi/ui/timeline.py b/pitivi/ui/timeline.py
index 210cad7..81373d5 100644
--- a/pitivi/ui/timeline.py
+++ b/pitivi/ui/timeline.py
@@ -240,6 +240,7 @@ class Timeline(gtk.Table, Loggable, Zoomable):
         zoomslider = gtk.HScale(self._zoomAdjustment)
         zoomslider.props.draw_value = False
         zoomslider.set_tooltip_text(_("Zoom Timeline"))
+        zoomslider.connect("scroll-event", self._zoomSliderScrollCb)
         self.attach(zoomslider, 0, 1, 0, 1, yoptions=0, xoptions=gtk.FILL)
 
         # controls for tracks and layers
@@ -572,6 +573,13 @@ class Timeline(gtk.Table, Loggable, Zoomable):
 
     _scroll_pos_ns = 0
 
+    def _zoomSliderScrollCb(self, unused_widget, event):
+        value = self._zoomAdjustment.get_value()
+        if event.direction in [gtk.gdk.SCROLL_UP, gtk.gdk.SCROLL_RIGHT]:
+            self._zoomAdjustment.set_value(value + 1)
+        elif event.direction in [gtk.gdk.SCROLL_DOWN, gtk.gdk.SCROLL_LEFT]:
+            self._zoomAdjustment.set_value(value - 1)
+
     def zoomChanged(self):
         if self._updateZoom:
             self._zoomAdjustment.set_value(self.getCurrentZoomLevel())