[gnome-builder] terminal: keep terminal as default panel

[Christian Hergert <chergert src gnome org>]

commit 7915b48dce01d003770a5ada691f9e3e431f98ce
Author: Christian Hergert <chergert redhat com>
Date:   Thu Aug 5 11:13:45 2021 -0700

    terminal: keep terminal as default panel
    
    I see search showing up first now, but we want to keep our default of
    showing the terminal utility.

 src/plugins/terminal/gbp-terminal-workspace-addin.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/terminal/gbp-terminal-workspace-addin.c 
b/src/plugins/terminal/gbp-terminal-workspace-addin.c
index 8b8cc1e48..16ef146cb 100644
--- a/src/plugins/terminal/gbp-terminal-workspace-addin.c
+++ b/src/plugins/terminal/gbp-terminal-workspace-addin.c
@@ -456,6 +456,7 @@ gbp_terminal_workspace_addin_load (IdeWorkspaceAddin *addin,
                         G_CALLBACK (gtk_widget_destroyed),
                         &self->bottom);
       gtk_container_add (GTK_CONTAINER (self->bottom_dock), GTK_WIDGET (self->bottom));
+      dzl_dock_item_present (DZL_DOCK_ITEM (self->bottom_dock));
 
       workbench = ide_widget_get_workbench (GTK_WIDGET (workspace));