Adjust wm -> focus label

This is a follow-up commit to "Update <provides> info in pkg runtimes",
which adapts the users of the wm pkg to the changed label of the "focus"
nitpicker session.
This commit is contained in:
Norman Feske 2019-03-14 12:14:28 +01:00 committed by Christian Helmuth
parent 67fd77d10a
commit baf46db287
3 changed files with 3 additions and 3 deletions

View File

@ -255,7 +255,7 @@ file copy -force [genode_dir]/repos/gems/run/sculpt/fonts.config [run_dir]/genod
# 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=\"dynamic -> wm -> wm -> \"/>"
puts $fd "<focus label=\"dynamic -> wm -> focus\"/>"
close $fd
build_boot_image { depot_query depot_deploy }

View File

@ -146,7 +146,7 @@ install_config {
# 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/

View File

@ -110,7 +110,7 @@ if {![file exist bin/test.pdf]} {
# 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
append boot_modules {