[gnome-builder/wip/gtk4-port: 1421/1774] plugins/terminal: raise/show run panel when running project

[Christian Hergert <chergert src gnome org>]

commit c62d65858964f6357de237eda7a71ae5fa2ee2b4
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jun 8 13:04:50 2022 -0700

    plugins/terminal: raise/show run panel when running project

 src/plugins/terminal/gbp-terminal-workspace-addin.c | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/plugins/terminal/gbp-terminal-workspace-addin.c 
b/src/plugins/terminal/gbp-terminal-workspace-addin.c
index 60b56a9bf..48d936f27 100644
--- a/src/plugins/terminal/gbp-terminal-workspace-addin.c
+++ b/src/plugins/terminal/gbp-terminal-workspace-addin.c
@@ -257,6 +257,9 @@ on_run_manager_run (GbpTerminalWorkspaceAddin *self,
       ide_terminal_page_set_pty (self->run_terminal, pty);
     }
 
+  if (self->run_panel != NULL)
+    panel_widget_raise (PANEL_WIDGET (self->run_panel));
+
   ide_runner_set_pty (runner, pty);
 
   env = ide_runner_get_environment (runner);