[gnome-builder] workbench: focus workspace when active workspace changes.

[Christian Hergert <chergert src gnome org>]

commit c0dcfdf6010fa8e8a5664fc8688867b37d79d09d
Author: Christian Hergert <christian hergert me>
Date:   Thu Sep 11 16:59:20 2014 -0700

    workbench: focus workspace when active workspace changes.

 src/workbench/gb-workbench.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/workbench/gb-workbench.c b/src/workbench/gb-workbench.c
index b3f4f40..2f1b6b1 100644
--- a/src/workbench/gb-workbench.c
+++ b/src/workbench/gb-workbench.c
@@ -101,6 +101,7 @@ gb_workbench_workspace_changed (GbWorkbench *workbench,
       priv->active_workspace = workspace;
       g_object_add_weak_pointer (G_OBJECT (priv->active_workspace),
                                  (gpointer *) &priv->active_workspace);
+      gtk_widget_grab_focus (GTK_WIDGET (workspace));
     }
 
   EXIT;