[gnome-builder] terminal: request focus from the workbench

[Christian Hergert <chergert src gnome org>]

commit 12bce526cdcddc71b1bb3f9d93eecf4ae53bb494
Author: Christian Hergert <christian hergert me>
Date:   Tue Feb 16 13:09:09 2016 -0800

    terminal: request focus from the workbench
    
    The workbench might require focusing various stack children, panels, etc
    when displaying a terminal. So let the workbench handle focus.

 plugins/terminal/gb-terminal-workbench-addin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/gb-terminal-workbench-addin.c b/plugins/terminal/gb-terminal-workbench-addin.c
index 60d9cc4..2845e18 100644
--- a/plugins/terminal/gb-terminal-workbench-addin.c
+++ b/plugins/terminal/gb-terminal-workbench-addin.c
@@ -56,7 +56,7 @@ new_terminal_activate_cb (GSimpleAction            *action,
                        "visible", TRUE,
                        NULL);
   gtk_container_add (GTK_CONTAINER (perspective), GTK_WIDGET (view));
-  gtk_widget_grab_focus (GTK_WIDGET (view));
+  ide_workbench_focus (self->workbench, GTK_WIDGET (view));
 }
 
 static void