[gnome-builder/wip/gtk4-port: 1518/1774] plugins/shellcmd: dont close terminal page after running

[Christian Hergert <chergert src gnome org>]

commit 60ebc63ef39811ed49eda3583c8e315177c1cb50
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jun 15 00:01:05 2022 -0700

    plugins/shellcmd: dont close terminal page after running
    
    We might want to make this toggleable from the editor as well. But we have
    a few more things to get in place for this anyway.

 src/plugins/shellcmd/gbp-shellcmd-shortcut-provider.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/src/plugins/shellcmd/gbp-shellcmd-shortcut-provider.c 
b/src/plugins/shellcmd/gbp-shellcmd-shortcut-provider.c
index f133d2a7c..a31e0a031 100644
--- a/src/plugins/shellcmd/gbp-shellcmd-shortcut-provider.c
+++ b/src/plugins/shellcmd/gbp-shellcmd-shortcut-provider.c
@@ -74,11 +74,12 @@ gbp_shellcmd_shortcut_func (GtkWidget *widget,
 
   launcher = gbp_shellcmd_run_command_create_launcher (command, context);
   page = g_object_new (IDE_TYPE_TERMINAL_PAGE,
+                       "close-on-exit", FALSE,
                        "icon-name", "text-x-script-symbolic",
-                       "title", title,
                        "launcher", launcher,
                        "manage-spawn", TRUE,
                        "respawn-on-exit", FALSE,
+                       "title", title,
                        NULL);
 
   position = ide_panel_position_new ();