From 15957a2d3d6d1262384a0d1cb738fd72fdb790dd Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 9 Feb 2017 12:10:50 +0100
Subject: [PATCH] Adapt nitpicker config to xray_trigger changes

---
 repos/gems/run/launcher.run | 6 +++---
 repos/os/run/demo.run       | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run
index 59da330ee2..226bb53006 100644
--- a/repos/gems/run/launcher.run
+++ b/repos/gems/run/launcher.run
@@ -86,9 +86,9 @@ append config {
 			<policy label_prefix="status_bar"             domain="panel"/>
 			<default-policy                               domain="default"/>
 
-			<global-key name="KEY_SCROLLLOCK" label="xray_trigger" />
-			<global-key name="KEY_F1"         label="xray_trigger" />
-			<global-key name="KEY_F2"         label="xray_trigger" />
+			<global-key name="KEY_SCROLLLOCK" label="xray_trigger -> input" />
+			<global-key name="KEY_F1"         label="xray_trigger -> input" />
+			<global-key name="KEY_F2"         label="xray_trigger -> input" />
 			<global-key name="KEY_LEFTMETA"   label="wm -> launcher" />
 			<global-key name="KEY_F3"         label="wm -> launcher" />
 		</config>
diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index b57b189ffe..9474e70ff0 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -154,9 +154,9 @@ append config {
 					<policy label_prefix="scout -> launchpad" domain="launchpad"/>
 					<default-policy                           domain=""/>
 
-					<global-key name="KEY_SCROLLLOCK" label="xray_trigger" />
-					<global-key name="KEY_F1"         label="xray_trigger" />
-					<global-key name="KEY_F2"         label="xray_trigger" />
+					<global-key name="KEY_SCROLLLOCK" label="xray_trigger -> input" />
+					<global-key name="KEY_F1"         label="xray_trigger -> input" />
+					<global-key name="KEY_F2"         label="xray_trigger -> input" />
 				</inline>
 			</output>
 		</config>