diff --git a/repos/gems/run/depot_deploy.run b/repos/gems/run/depot_deploy.run index 915e5ef1f4..31a392a43d 100644 --- a/repos/gems/run/depot_deploy.run +++ b/repos/gems/run/depot_deploy.run @@ -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 " wm -> wm -> \"/>" +puts $fd " wm -> focus\"/>" close $fd build_boot_image { depot_query depot_deploy } diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run index 0ccfe8203c..78c5f30bbb 100644 --- a/repos/gems/run/wm.run +++ b/repos/gems/run/wm.run @@ -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 " wm -> \"/>" +puts $fd " focus\"/>" close $fd file copy -force [genode_dir]/repos/gems/recipes/raw/motif_wm/wm.config [run_dir]/genode/ diff --git a/repos/libports/run/mupdf.run b/repos/libports/run/mupdf.run index 67f1c8e47b..f445562780 100644 --- a/repos/libports/run/mupdf.run +++ b/repos/libports/run/mupdf.run @@ -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 " wm -> \"/>" +puts $fd " focus\"/>" close $fd append boot_modules {