[gnome-builder/wip/gtk4-port: 545/736] plugins/terminal: raise page after adding it




commit b8472c10343b7819c2b932a7c264386204552401
Author: Christian Hergert <chergert redhat com>
Date:   Sun Apr 10 20:05:33 2022 -0700

    plugins/terminal: raise page after adding it

 src/plugins/terminal/gbp-terminal-workspace-addin.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/plugins/terminal/gbp-terminal-workspace-addin.c 
b/src/plugins/terminal/gbp-terminal-workspace-addin.c
index 2522ebc7b..3a7d2e4f8 100644
--- a/src/plugins/terminal/gbp-terminal-workspace-addin.c
+++ b/src/plugins/terminal/gbp-terminal-workspace-addin.c
@@ -182,6 +182,8 @@ new_terminal_activate (GSimpleAction *action,
     position = ide_panel_position_new ();
 
   ide_workspace_add_page (self->workspace, page, position);
+
+  panel_widget_raise (PANEL_WIDGET (page));
 }
 
 static void


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]