From 3b0899aae1ee069d408f7294f731697518f8d555 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 3 Nov 2017 15:42:57 +0100
Subject: [PATCH] drivers_interactive-pc: apply mouse acceleration

---
 .../raw/drivers_interactive-pc/input_filter.config   | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config b/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config
index 38e47602a..220320f29 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/input_filter.config
@@ -4,11 +4,13 @@
 	<output>
 		<chargen>
 			<merge>
-				<button-scroll>
-					<input name="ps2"/>
-					<vertical   button="BTN_MIDDLE" speed_percent="-10"/>
-					<horizontal button="BTN_MIDDLE" speed_percent="-10"/>
-				</button-scroll>
+				<accelerate max="50" sensitivity_percent="1000" curve="127">
+					<button-scroll>
+						<input name="ps2"/>
+						<vertical   button="BTN_MIDDLE" speed_percent="-10"/>
+						<horizontal button="BTN_MIDDLE" speed_percent="-10"/>
+					</button-scroll>
+				</accelerate>
 				<input name="usb"/>
 			</merge>
 			<mod1>