From 4f4f270d35c4548f075e0836a07a1f06b05839ee Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 23 Aug 2022 11:38:28 +0200
Subject: [PATCH] sculpt.run: expose leitzentrale state to manager

This patch allows the sculpt manager hosted in the leitzentrale
subsystem to observe the toggling between the runtime and the
administrative GUI. This enables alternatives to the use of the
gui_fader for switching between both views. In particular, the
upcoming phone_manager toggles the visibility of its own GUI
depending on the leitzentrale state.
---
 repos/gems/run/sculpt.run | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run
index 1e9fec1453..24165b456e 100644
--- a/repos/gems/run/sculpt.run
+++ b/repos/gems/run/sculpt.run
@@ -236,6 +236,8 @@ install_config {
 		<config verbose="no">
 			<policy label="leitzentrale_config -> leitzentrale"
 			        report="global_keys_handler -> leitzentrale"/>
+			<policy label="leitzentrale -> manager -> leitzentrale"
+			        report="global_keys_handler -> leitzentrale"/>
 			<policy label="pointer -> hover" report="nitpicker -> hover"/>
 			<policy label="pointer -> xray"
 			        report="global_keys_handler -> leitzentrale"/>
@@ -549,6 +551,8 @@ install_config {
 				<child name="config_fs_rom"/> </service>
 			<service name="ROM" label="manager -> nitpicker_hover">
 				<child name="report_rom"/> </service>
+			<service name="ROM" label="manager -> leitzentrale">
+				<child name="report_rom"/> </service>
 			<service name="Report"> <child name="fs_report"/> </service>
 			<service name="Gui"> <child name="nitpicker"/> </service>
 			<service name="Timer"> <child name="timer"/> </service>