[gnome-builder/wip/gtk4-port: 897/1774] plugins/editorui: raise focus when adding page

[Christian Hergert <chergert src gnome org>]

commit 22696bd59e298e55387190178442ec89c9e90bbf
Author: Christian Hergert <chergert redhat com>
Date:   Fri May 6 15:44:09 2022 -0700

    plugins/editorui: raise focus when adding page

 src/plugins/editorui/gbp-editorui-workspace-addin.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-workspace-addin.c 
b/src/plugins/editorui/gbp-editorui-workspace-addin.c
index 4a12c0aa7..5e7c24f26 100644
--- a/src/plugins/editorui/gbp-editorui-workspace-addin.c
+++ b/src/plugins/editorui/gbp-editorui-workspace-addin.c
@@ -260,6 +260,8 @@ new_file_cb (GObject      *object,
   page = ide_editor_page_new (buffer);
   position = ide_panel_position_new ();
   ide_workspace_add_page (workspace, IDE_PAGE (page), position);
+  panel_widget_raise (PANEL_WIDGET (page));
+  gtk_widget_grab_focus (GTK_WIDGET (page));
 
   IDE_EXIT;
 }