From af490bdd5b5d2bd40f2f78b80f546fb9a6b8d586 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 11 Mar 2021 17:30:12 +0100
Subject: [PATCH] Revert "sculpt: tweak window motions in leitzentrale"

Apparently the skewed motion timings came from the issue fixed by
"timer: restore semantics of periodic timeout 0". With the current
version of the timer, the original motion parameters work just fine.
---
 repos/gems/run/sculpt/leitzentrale.config | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config
index 99084b71cf..e568e60638 100644
--- a/repos/gems/run/sculpt/leitzentrale.config
+++ b/repos/gems/run/sculpt/leitzentrale.config
@@ -181,14 +181,14 @@
 						</dir>
 						<dir name="dev"> <log/> </dir>
 					</vfs>
-					<policy label="log" decoration="yes" motion="40"/>
-					<policy label="runtime -> leitzentrale -> settings_view"     decoration="no" motion="40"/>
-					<policy label="runtime -> leitzentrale -> file_browser_view" decoration="no" motion="60"/>
-					<policy label="runtime -> leitzentrale -> network_view"      decoration="no" motion="40"/>
-					<policy label="runtime -> leitzentrale -> runtime_view"      decoration="no" motion="60"/>
-					<policy label="runtime -> leitzentrale -> menu_view"         decoration="no" motion="60"/>
-					<policy label="runtime -> leitzentrale -> popup_view"        decoration="no" motion="40"/>
-					<policy label="runtime -> leitzentrale -> panel_view"        decoration="no" motion="40"/>
+					<policy label="log" decoration="yes" motion="20"/>
+					<policy label="runtime -> leitzentrale -> settings_view"     decoration="no" motion="20"/>
+					<policy label="runtime -> leitzentrale -> file_browser_view" decoration="no" motion="30"/>
+					<policy label="runtime -> leitzentrale -> network_view"      decoration="no" motion="20"/>
+					<policy label="runtime -> leitzentrale -> runtime_view"      decoration="no" motion="30"/>
+					<policy label="runtime -> leitzentrale -> menu_view"         decoration="no" motion="30"/>
+					<policy label="runtime -> leitzentrale -> popup_view"        decoration="no" motion="20"/>
+					<policy label="runtime -> leitzentrale -> panel_view"        decoration="no" motion="20"/>
 					<policy label_prefix="logo" decoration="no"/>
 					<default-policy/>
 				</config>