[gnome-builder] devhelp: show devhelp panel when selecting URI

[Christian Hergert <chergert src gnome org>]

commit 0a05e8ff666645a12dcb87d4352755b69d5a5332
Author: Christian Hergert <chergert redhat com>
Date:   Sat Dec 12 16:26:00 2015 -0800

    devhelp: show devhelp panel when selecting URI

 plugins/devhelp/gbp-devhelp-search-provider.c |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-search-provider.c b/plugins/devhelp/gbp-devhelp-search-provider.c
index e5a5d21..cc8dbf5 100644
--- a/plugins/devhelp/gbp-devhelp-search-provider.c
+++ b/plugins/devhelp/gbp-devhelp-search-provider.c
@@ -178,12 +178,15 @@ gbp_devhelp_search_provider_activate (IdeSearchProvider *provider,
   g_assert (pane != NULL);
 
   panel = ide_widget_find_child_typed (pane, GBP_TYPE_DEVHELP_PANEL);
-  g_assert (pane != NULL);
+  g_assert (panel != NULL);
 
   g_object_get (result, "uri", &uri, NULL);
 
   if (panel != NULL)
-    gbp_devhelp_panel_set_uri (panel, uri);
+    {
+      gbp_devhelp_panel_set_uri (panel, uri);
+      ide_workbench_focus (IDE_WORKBENCH (toplevel), GTK_WIDGET (panel));
+    }
 
   g_free (uri);
 }