...

1 files changed, 160 insertions, 0 deletions

diff --git a/Utils.py b/Utils.py
index e8dcc64..958c2f5 100644
--- a/Utils.py
+++ b/Utils.py
@@ -17,6 +17,8 @@ import gtk
 from Theme import *
 import sugar.graphics
 from sugar.graphics import style
+from sugar.graphics.toolbutton import ToolButton
+from sugar.graphics.icon import Icon
 
 class FileInstanceVariable:
     def __init__(self, value = None):
@@ -140,3 +142,161 @@ class TempoSlider(gtk.HBox):
         if self._delayed != 0:
             self.set_value(self._delayed, True)
             self._delayed = 0
+
+class ScrollButton(gtk.ToolButton):
+    def __init__(self, icon_name):
+        gtk.ToolButton.__init__(self)
+
+        icon = Icon(icon_name = icon_name,
+                icon_size=gtk.ICON_SIZE_SMALL_TOOLBAR)
+        # The alignment is a hack to work around gtk.ToolButton code
+        # that sets the icon_size when the icon_widget is a gtk.Image
+        alignment = gtk.Alignment(0.5, 0.5)
+        alignment.add(icon)
+        self.set_icon_widget(alignment)
+        
+class ScrolledBox(gtk.EventBox):
+    def __init__(self, orientation, arrows_policy = gtk.POLICY_AUTOMATIC):
+        gtk.EventBox.__init__(self)
+        self.orientation = orientation
+        self._viewport = None
+        self._abox = None
+        self._aviewport = None
+        self._aviewport_sig = None
+        self._arrows_policy = arrows_policy
+        self._left = None
+        self._right = None
+
+        if orientation == gtk.ORIENTATION_HORIZONTAL:
+            box = gtk.HBox()
+        else:
+            box = gtk.VBox()
+        if self._arrows_policy == gtk.POLICY_AUTOMATIC:
+            box.connect("size-allocate", self._box_allocate_cb)
+        self.add(box)
+
+        if self._arrows_policy != gtk.POLICY_NEVER:
+            if orientation == gtk.ORIENTATION_HORIZONTAL:
+                self._left = ScrollButton('go-left')
+            else:
+                self._left = ScrollButton('go-up')
+            self._left.connect('clicked', self._scroll_cb, 'left')
+            box.pack_start(self._left, False, False, 0)
+
+        self._scrolled = gtk.ScrolledWindow()
+        if orientation == gtk.ORIENTATION_HORIZONTAL:
+            self._scrolled.set_policy(gtk.POLICY_AUTOMATIC, gtk.POLICY_NEVER)
+        else:
+            self._scrolled.set_policy(gtk.POLICY_NEVER, gtk.POLICY_AUTOMATIC)
+        self._scrolled.connect('scroll-event', self._scroll_event_cb)
+        box.pack_start(self._scrolled, True, True, 0)
+
+        if orientation == gtk.ORIENTATION_HORIZONTAL:
+            self._adj = self._scrolled.get_hadjustment()
+        else:
+            self._adj = self._scrolled.get_vadjustment()
+        self._adj.connect('changed', self._scroll_changed_cb)
+        self._adj.connect('value-changed', self._scroll_changed_cb)
+
+        if self._arrows_policy != gtk.POLICY_NEVER:
+            if orientation == gtk.ORIENTATION_HORIZONTAL:
+                self._right = ScrollButton('go-right')
+            else:
+                self._right = ScrollButton('go-down')
+            self._right.connect('clicked', self._scroll_cb, 'right')
+            box.pack_start(self._right, False, False, 0)
+
+    def modify_bg(self, state, bg):
+        gtk.EventBox.modify_bg(self, state, bg)
+        self._viewport.get_parent().modify_bg(state, bg)
+
+    def set_viewport(self, widget):
+        if widget == self._viewport: return
+        if self._viewport and self._aviewport_sig:
+            self._viewport.disconnect(self._aviewport_sig)
+        self._viewport = widget
+
+        if self._arrows_policy == gtk.POLICY_AUTOMATIC:
+            self._aviewport_sig = self._viewport.connect('size-allocate',
+                    self._viewport_allocate_cb)
+
+        self._scrolled.add_with_viewport(widget)
+
+    def get_viewport_allocation(self):
+        alloc = self._scrolled.get_allocation()
+        alloc.x -= self._adj.get_value()
+        return alloc
+
+    def get_adjustment(self):
+        return self._adj
+
+    def _box_allocate_cb(self, w, a):
+        self._abox = a
+        self._update_arrows()
+
+    def _viewport_allocate_cb(self, w, a):
+        self._aviewport = a
+        self._update_arrows()
+
+    def _update_arrows(self):
+        if not self._abox or not self._aviewport: return
+
+        if self.orientation == gtk.ORIENTATION_HORIZONTAL:
+            show_flag = self._abox.width < self._aviewport.width
+        else:
+            show_flag = self._abox.height < self._aviewport.height
+
+        if show_flag:
+            self._left.show()
+            self._right.show()
+        else:
+            self._left.hide()
+            self._right.hide()
+
+    def _scroll_event_cb(self, widget, event):
+        if self.orientation == gtk.ORIENTATION_HORIZONTAL:
+            if event.direction == gtk.gdk.SCROLL_UP:
+                event.direction = gtk.gdk.SCROLL_LEFT
+            if event.direction == gtk.gdk.SCROLL_DOWN:
+                event.direction = gtk.gdk.SCROLL_RIGHT
+        else:
+            if event.direction == gtk.gdk.SCROLL_LEFT:
+                event.direction = gtk.gdk.SCROLL_UP
+            if event.direction == gtk.gdk.SCROLL_RIGHT:
+                event.direction = gtk.gdk.SCROLL_DOWN
+        return False
+
+    def _scroll_cb(self, widget, data):
+        if data == 'left':
+            val = max(self._adj.get_property('lower'), self._adj.get_value()
+                    - self._adj.get_property('page_increment'))
+        else:
+            val = min(self._adj.get_property('upper')
+                    - self._adj.get_property('page_size'),
+                    self._adj.get_value()
+                    + self._adj.get_property('page_increment'))
+
+        self._adj.set_value(val)
+
+    def _scroll_changed_cb(self, widget):
+        val = self._adj.get_value()
+        if self._left:
+            if val == 0:
+                self._left.set_sensitive(False)
+            else:
+                self._left.set_sensitive(True)
+
+        if self._right:
+            if val >= self._adj.get_property('upper') - \
+                    self._adj.get_property('page_size'):
+                self._right.set_sensitive(False)
+            else:
+                self._right.set_sensitive(True)
+
+class HScrolledBox(ScrolledBox):
+    def __init__(self, *args):
+        ScrolledBox.__init__(self, gtk.ORIENTATION_HORIZONTAL, *args)
+
+class VScrolledBox(ScrolledBox):
+    def __init__(self, *args):
+        ScrolledBox.__init__(self, gtk.ORIENTATION_VERTICAL, *args)