[gnome-builder] build-panel: ensure build-panel is visible during build

[Christian Hergert <chergert src gnome org>]

commit 5fd3abb2e448c3071069c03d6d31926c54febb95
Author: Christian Hergert <christian hergert me>
Date:   Tue Dec 22 04:20:24 2015 -0800

    build-panel: ensure build-panel is visible during build
    
    Previously we only showed the build output. It is possible to run the
    build from command-bar, so we should show both.

 plugins/build-tools/gbp-build-workbench-addin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/build-tools/gbp-build-workbench-addin.c b/plugins/build-tools/gbp-build-workbench-addin.c
index 7fc4b21..bc2e04c 100644
--- a/plugins/build-tools/gbp-build-workbench-addin.c
+++ b/plugins/build-tools/gbp-build-workbench-addin.c
@@ -191,7 +191,7 @@ gbp_build_workbench_addin_do_build (GbpBuildWorkbenchAddin *self,
    */
   gtk_widget_show (GTK_WIDGET (self->build_log_panel));
   ide_workbench_focus (workbench, GTK_WIDGET (self->build_log_panel));
-
+  ide_workbench_focus (workbench, GTK_WIDGET (self->panel));
 }
 
 static void