[gnome-builder] devhelp: ensure devhelp view is made top-most

[Christian Hergert <chergert src gnome org>]

commit 8a4691935e2b0c141623f87164b9b3b49fda482c
Author: Christian Hergert <christian hergert me>
Date:   Sun Feb 21 21:16:53 2016 -0800

    devhelp: ensure devhelp view is made top-most
    
    In some cases, we may need to modify GtkStacks in the hierarchy so that
    we can see the view over the empty state. ide_workbench_focus() will do
    this for us, safely.

 plugins/devhelp/gbp-devhelp-panel.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-panel.c b/plugins/devhelp/gbp-devhelp-panel.c
index 187b49b..757cd2d 100644
--- a/plugins/devhelp/gbp-devhelp-panel.c
+++ b/plugins/devhelp/gbp-devhelp-panel.c
@@ -86,6 +86,8 @@ gbp_devhelp_panel_link_selected (GbpDevhelpPanel *self,
   uri = dh_link_get_uri (link);
   gbp_devhelp_view_set_uri (view, uri);
   g_free (uri);
+
+  ide_workbench_focus (workbench, GTK_WIDGET (view));
 }
 
 void