From 27bb44d39c1ff1f2e7c01b098b7326dff2fe8a80 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 24 Jan 2019 16:11:22 +0100 Subject: [PATCH] launcher.run: adaptation to new window layouter --- repos/gems/run/launcher.run | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run index 16b441db80..78c6910ae2 100644 --- a/repos/gems/run/launcher.run +++ b/repos/gems/run/launcher.run @@ -135,6 +135,7 @@ install_config { + @@ -148,6 +149,7 @@ install_config { + @@ -161,11 +163,20 @@ install_config { + + + + + + + + + @@ -175,6 +186,9 @@ install_config { + + + @@ -263,7 +277,7 @@ install_config { - +