[gnome-builder/wip/gtk4-port] libide/editor: raise the page after adding

[Christian Hergert <chergert src gnome org>]

commit b6516bd5ebb456ef71ee511fa2caed480005c83c
Author: Christian Hergert <chergert redhat com>
Date:   Thu Apr 7 14:37:41 2022 -0700

    libide/editor: raise the page after adding

 src/libide/editor/ide-editor.c | 71 ++++++++++++++++++++++++------------------
 1 file changed, 40 insertions(+), 31 deletions(-)
---
diff --git a/src/libide/editor/ide-editor.c b/src/libide/editor/ide-editor.c
index 2112f8853..9d2f443a7 100644
--- a/src/libide/editor/ide-editor.c
+++ b/src/libide/editor/ide-editor.c
@@ -105,6 +105,11 @@ static void
 focus_complete (Focus        *focus,
                 const GError *error)
 {
+  IdeEditorPage *page = NULL;
+  PanelFrame *frame;
+
+  IDE_ENTRY;
+
   g_assert (focus != NULL);
   g_assert (G_IS_FILE (focus->file));
   g_assert (!focus->location || IDE_IS_LOCATION (focus->location));
@@ -120,55 +125,59 @@ focus_complete (Focus        *focus,
                            /* translators: %s is replaced with the error message */
                            _("Failed to open file: %s"),
                            error->message);
+      focus_free (focus);
+      IDE_EXIT;
     }
-  else
+
+  frame = ide_workspace_get_frame_at_position (focus->workspace, focus->position);
+
+  if (frame != NULL)
     {
-      PanelFrame *frame = ide_workspace_get_frame_at_position (focus->workspace, focus->position);
-      IdeEditorPage *page = NULL;
+      guint n_pages = panel_frame_get_n_pages (PANEL_FRAME (frame));
 
-      if (frame != NULL)
+      for (guint i = 0; i < n_pages; i++)
         {
-          guint n_pages = panel_frame_get_n_pages (PANEL_FRAME (frame));
+          PanelWidget *child = panel_frame_get_page (PANEL_FRAME (frame), i);
 
-          for (guint i = 0; i < n_pages; i++)
+          if (IDE_IS_EDITOR_PAGE (child))
             {
-              PanelWidget *child = panel_frame_get_page (PANEL_FRAME (frame), i);
+              IdeBuffer *buffer = ide_editor_page_get_buffer (IDE_EDITOR_PAGE (child));
 
-              if (IDE_IS_EDITOR_PAGE (child))
+              if (buffer == focus->buffer)
                 {
-                  IdeBuffer *buffer = ide_editor_page_get_buffer (IDE_EDITOR_PAGE (child));
-
-                  if (buffer == focus->buffer)
-                    {
-                      page = IDE_EDITOR_PAGE (child);
-                      break;
-                    }
+                  page = IDE_EDITOR_PAGE (child);
+                  break;
                 }
             }
         }
+    }
 
-      g_assert (!page || IDE_IS_EDITOR_PAGE (page));
-
-      if (page == NULL)
-        {
-          page = IDE_EDITOR_PAGE (ide_editor_page_new (focus->buffer));
-          ide_workspace_add_page (focus->workspace, IDE_PAGE (page), focus->position);
-        }
+  g_assert (!page || IDE_IS_EDITOR_PAGE (page));
 
-      if (focus->location != NULL)
-        {
-          IdeSourceView *view = ide_editor_page_get_view (page);
-          GtkTextIter iter;
+  if (page == NULL)
+    {
+      page = IDE_EDITOR_PAGE (ide_editor_page_new (focus->buffer));
+      ide_workspace_add_page (focus->workspace, IDE_PAGE (page), focus->position);
+    }
 
-          ide_buffer_get_iter_at_location (focus->buffer, &iter, focus->location);
-          gtk_text_buffer_select_range (GTK_TEXT_BUFFER (focus->buffer), &iter, &iter);
-          ide_source_view_scroll_to_insert (view);
-        }
+  if (focus->location != NULL)
+    {
+      IdeSourceView *view = ide_editor_page_get_view (page);
+      GtkTextIter iter;
 
-      gtk_widget_grab_focus (GTK_WIDGET (page));
+      ide_buffer_get_iter_at_location (focus->buffer, &iter, focus->location);
+      gtk_text_buffer_select_range (GTK_TEXT_BUFFER (focus->buffer), &iter, &iter);
+      ide_source_view_scroll_to_insert (view);
     }
 
+  if (frame != NULL)
+    panel_frame_set_visible_child (frame, PANEL_WIDGET (page));
+
+  gtk_widget_grab_focus (GTK_WIDGET (page));
+
   focus_free (focus);
+
+  IDE_EXIT;
 }
 
 static void