From 97bfc132371af6ab686ef94d06b6f1112fc1470c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 2 Jan 2019 16:09:43 +0100
Subject: [PATCH] sculpt: slight visual improvements of leitzentrale

This patch improves the appearance of the leitzentrale by eliminating
the (hardly visible) decorations from the GUI and graph views, and by
animating the motion of the graph position. The latter is meant to
remove the stuttering effect when the graph's size changes (and
re-centered).
---
 repos/gems/run/sculpt/leitzentrale.config | 3 +++
 repos/gems/src/app/sculpt_manager/main.cc | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config
index d2cd4ed01..1b7bad684 100644
--- a/repos/gems/run/sculpt/leitzentrale.config
+++ b/repos/gems/run/sculpt/leitzentrale.config
@@ -137,6 +137,9 @@
 						</dir>
 						<dir name="dev"> <log/> </dir>
 					</vfs>
+					<policy label="log" decoration="yes"/>
+					<policy label="runtime -> leitzentrale -> runtime_view" decoration="no" motion="20"/>
+					<policy label_prefix="gui" decoration="no"/>
 				</config>
 				<route>
 					<service name="ROM"    label="default.png"> <parent label="drop_shadow.png"/> </service>
diff --git a/repos/gems/src/app/sculpt_manager/main.cc b/repos/gems/src/app/sculpt_manager/main.cc
index cfe0a8261..d555ebfd7 100644
--- a/repos/gems/src/app/sculpt_manager/main.cc
+++ b/repos/gems/src/app/sculpt_manager/main.cc
@@ -620,11 +620,12 @@ void Sculpt::Main::_handle_window_layout()
 		auto gen_window = [&] (Xml_node win, Rect rect) {
 			if (rect.valid()) {
 				xml.node("window", [&] () {
-					xml.attribute("id", win.attribute_value("id", 0UL));
+					xml.attribute("id",     win.attribute_value("id", 0UL));
 					xml.attribute("xpos",   rect.x1());
 					xml.attribute("ypos",   rect.y1());
 					xml.attribute("width",  rect.w());
 					xml.attribute("height", rect.h());
+					xml.attribute("title",  win.attribute_value("label", Label()));
 				});
 			}
 		};