[gnome-builder/wip/gtk4-port: 830/1774] libide/terminal: fix title for Runner terminal

[Christian Hergert <chergert src gnome org>]

commit 5520efdece23c9751db08e5d43117b5fe6ca7ff7
Author: Christian Hergert <chergert redhat com>
Date:   Mon May 2 12:20:19 2022 -0700

    libide/terminal: fix title for Runner terminal

 src/libide/terminal/ide-terminal-launcher.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/terminal/ide-terminal-launcher.c b/src/libide/terminal/ide-terminal-launcher.c
index c311d9a7b..2f13cebb1 100644
--- a/src/libide/terminal/ide-terminal-launcher.c
+++ b/src/libide/terminal/ide-terminal-launcher.c
@@ -899,6 +899,8 @@ ide_terminal_launcher_new_for_runner (IdeRuntime *runtime)
   self->runtime = g_object_ref (runtime);
   self->kind = LAUNCHER_KIND_RUNNER;
 
+  ide_terminal_launcher_set_title (self, ide_runtime_get_name (runtime));
+
   return g_steal_pointer (&self);
 }