[gnome-builder/wip/gtk4-port: 530/1774] plugins/terminal: raise page after adding it
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 530/1774] plugins/terminal: raise page after adding it
- Date: Mon, 11 Jul 2022 22:31:15 +0000 (UTC)
commit 55fb12a3d840d3da0a32d79cbc036126f90bfd29
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]