[pitivi] widgets: Add some padding to the zoom slider

[Mathieu Duponchelle <mathieudu src gnome org>]

commit 00c6caff87a4068f93911a02bc4306decdcf5cdd
Author: Alexandru Băluț <alexandru balut gmail com>
Date:   Wed Jan 8 09:44:07 2014 +0100

    widgets: Add some padding to the zoom slider
    
    ..so it does not touch the ruler.

 pitivi/utils/widgets.py |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/pitivi/utils/widgets.py b/pitivi/utils/widgets.py
index d90cbcb..b565835 100644
--- a/pitivi/utils/widgets.py
+++ b/pitivi/utils/widgets.py
@@ -45,8 +45,11 @@ from pitivi.utils.ui import unpack_color, pack_color_32, pack_color_64, \
     time_to_string, SPACING, CONTROL_WIDTH
 from pitivi.utils.timeline import Zoomable
 
+
 ZOOM_FIT = _("Zoom Fit")
 
+ZOOM_SLIDER_PADDING = SPACING * 4 / 5
+
 
 class DynamicWidget(object):
 
@@ -1070,7 +1073,7 @@ class ZoomBox(Gtk.HBox, Zoomable):
         zoomslider.set_tooltip_text(_("Zoom Timeline"))
         zoomslider.connect("scroll-event", self._zoomSliderScrollCb)
         zoomslider.set_size_request(100, 0)  # At least 100px wide for precision
-        self.pack_start(zoomslider, expand=True, fill=True, padding=0)
+        self.pack_start(zoomslider, expand=True, fill=True, padding=ZOOM_SLIDER_PADDING)
 
         self.set_size_request(CONTROL_WIDTH, -1)
         self.show_all()