From b3219fc3a4e474e5c79c24139e4df707c27d7e5a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sat, 9 Mar 2019 18:14:55 +0100
Subject: [PATCH] sculpt: fine-tune motion of graph positioning

By using 30 motion steps, the positioning of the graph window fits
better with the geometry animations of the graph nodes inside the
window.
---
 repos/gems/run/sculpt/leitzentrale.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config
index f9cbf61de0..667be3b29e 100644
--- a/repos/gems/run/sculpt/leitzentrale.config
+++ b/repos/gems/run/sculpt/leitzentrale.config
@@ -139,7 +139,7 @@
 						<dir name="dev"> <log/> </dir>
 					</vfs>
 					<policy label="log" decoration="yes"/>
-					<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="20"/>
+					<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="30"/>
 					<policy label_prefix="gui -> popup" decoration="no" motion="20"/>
 					<policy label_prefix="gui" decoration="no"/>
 					<default-policy/>