From a82d922deb0614f1f3b51b3162d11ffd0c800cb6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Revol?= <revol@free.fr>
Date: Mon, 30 Dec 2013 19:07:16 +0100
Subject: [PATCH] workspaces: switch current workspace on mouse wheel

Gnome does that on the panel widget, at first it was annoying
but after a while it feels quite handy.
---
 src/apps/workspaces/Workspaces.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/apps/workspaces/Workspaces.cpp b/src/apps/workspaces/Workspaces.cpp
index e9fc3e0777..8a1bfde193 100644
--- a/src/apps/workspaces/Workspaces.cpp
+++ b/src/apps/workspaces/Workspaces.cpp
@@ -505,6 +505,16 @@ WorkspacesView::MessageReceived(BMessage* message)
 			_AboutRequested();
 			break;
 
+		case B_MOUSE_WHEEL_CHANGED:
+		{
+			float dy = message->FindFloat("be:wheel_delta_y");
+			if (dy > 0.1)
+				activate_workspace(current_workspace() + 1);
+			if (dy < -0.1)
+				activate_workspace(current_workspace() - 1);
+			break;
+		}
+
 		case kMsgChangeCount:
 			be_roster->Launch(kScreenPrefletSignature);
 			break;