From 326deb14fe985efdfc350536023fe9cdaa89c953 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 13 Mar 2019 12:06:52 +0100
Subject: [PATCH] sculpt: add global KEY_SCREEN for themed_wm

fixes switching windows by global key
---
 repos/gems/run/sculpt/nitpicker.config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/run/sculpt/nitpicker.config b/repos/gems/run/sculpt/nitpicker.config
index 3f3f1c654..dbe65f8ac 100644
--- a/repos/gems/run/sculpt/nitpicker.config
+++ b/repos/gems/run/sculpt/nitpicker.config
@@ -24,4 +24,5 @@
 	<global-key name="KEY_CAPSLOCK"  label="global_keys_handler -> input" />
 	<global-key name="KEY_NUMLOCK"   label="global_keys_handler -> input" />
 	<global-key name="KEY_SCREEN"    label="runtime -> wm -> wm -> decorator" />
+	<global-key name="KEY_SCREEN"    label="runtime -> themed_wm -> wm -> decorator" />
 </config>