From e5b187ce16f07e269c356316eb5199908ba8b3a1 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 4 Mar 2015 10:06:26 +0100
Subject: [PATCH] vbox: support wheel input events

Issue #1438
---
 repos/ports/src/virtualbox/frontend/console.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/ports/src/virtualbox/frontend/console.h b/repos/ports/src/virtualbox/frontend/console.h
index 85ce69bf3..9a1c66349 100644
--- a/repos/ports/src/virtualbox/frontend/console.h
+++ b/repos/ports/src/virtualbox/frontend/console.h
@@ -147,6 +147,7 @@ class GenodeConsole : public Console {
 				bool const is_release = ev.type() == Input::Event::RELEASE;
 				bool const is_key     = is_press || is_release;
 				bool const is_motion  = ev.type() == Input::Event::MOTION;
+				bool const is_wheel   = ev.type() == Input::Event::WHEEL;
 
 				if (is_key) {
 					Scan_code scan_code(ev.keycode());
@@ -194,6 +195,9 @@ class GenodeConsole : public Console {
 					else
 						gMouse->PutMouseEvent(0, 0, 0, 0, buttons);
 				}
+
+				if (is_wheel)
+					gMouse->PutMouseEvent(0, 0, ev.rx(), ev.ry(), 0);
 			}
 		}
 };