From 7ea7cb2bd240187255daee561dd0518e6d9e3158 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 14 Mar 2019 12:18:07 +0100
Subject: [PATCH] nitpicker_app.inc: adjust wm -> focus label

This patch adjusts the label of the wm's focus session to the explicitly
named label as introduced in the wm pkgs in Genode 19.02.
---
 run/nitpicker_app.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/nitpicker_app.inc b/run/nitpicker_app.inc
index 41aae7b..d3adf20 100644
--- a/run/nitpicker_app.inc
+++ b/run/nitpicker_app.inc
@@ -108,7 +108,7 @@ build $build_components
 # Pin the nitpicker focus to the window manager by providing a static focus ROM
 #
 set fd [open [run_dir]/genode/focus w]
-puts $fd "<focus label=\"wm -> wm -> \"/>"
+puts $fd "<focus label=\"wm -> focus\"/>"
 close $fd
 
 file copy -force [genode_dir]/repos/gems/recipes/raw/motif_wm/wm.config [run_dir]/genode/