From 1b4cff7cdce0129284bf810d6a76c17130bd5375 Mon Sep 17 00:00:00 2001
From: Sardem FF7 <sardemff7.pub@gmail.com>
Date: Sat, 12 Feb 2011 10:11:20 +0100
Subject: [PATCH] workspaceThumbnails: Allow mousewheel scrolling

Allow the user to switch the active workspace by using
the mousewheel over the workspace thumbnails.

https://bugzilla.gnome.org/show_bug.cgi?id=642303
---
 js/ui/workspacesView.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index f63e3fca3..e3e242643 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -630,6 +630,9 @@ WorkspacesDisplay.prototype = {
         controls.track_hover = true;
         controls.connect('notify::hover',
                          Lang.bind(this, this._onControlsHoverChanged));
+        controls.connect('scroll-event',
+                         Lang.bind(this, this._onScrollEvent));
+
 
         this._thumbnailsBox = new WorkspaceThumbnail.ThumbnailsBox();
         controls.add_actor(this._thumbnailsBox.actor);
@@ -925,6 +928,17 @@ WorkspacesDisplay.prototype = {
         // might as well avoid it.
         Meta.later_add(Meta.LaterType.BEFORE_REDRAW,
                        Lang.bind(this, this._updateZoom));
+    },
+
+    _onScrollEvent: function (actor, event) {
+        switch ( event.get_scroll_direction() ) {
+        case Clutter.ScrollDirection.UP:
+            Main.wm.actionMoveWorkspaceUp();
+            break;
+        case Clutter.ScrollDirection.DOWN:
+            Main.wm.actionMoveWorkspaceDown();
+            break;
+        }
     }
 };
 Signals.addSignalMethods(WorkspacesDisplay.prototype);