[gnome-builder] devhelp: remove pane on unload

[Christian Hergert <chergert src gnome org>]

commit f9fd182a7ae7d51bf6bcb659265b928e8ee16935
Author: Christian Hergert <chergert redhat com>
Date:   Sat Dec 5 20:38:49 2015 -0800

    devhelp: remove pane on unload

 plugins/devhelp/gbp-devhelp-workbench-addin.c |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-workbench-addin.c b/plugins/devhelp/gbp-devhelp-workbench-addin.c
index 08d1f21..2a21803 100644
--- a/plugins/devhelp/gbp-devhelp-workbench-addin.c
+++ b/plugins/devhelp/gbp-devhelp-workbench-addin.c
@@ -81,11 +81,21 @@ gbp_devhelp_workbench_addin_unload (IdeWorkbenchAddin *addin,
                                     IdeWorkbench      *workbench)
 {
   GbpDevhelpWorkbenchAddin *self = (GbpDevhelpWorkbenchAddin *)addin;
+  IdePerspective *perspective;
+  GtkWidget *pane;
 
   g_assert (IDE_IS_WORKBENCH_ADDIN (self));
   g_assert (IDE_IS_WORKBENCH (workbench));
 
   g_clear_object (&self->books);
+
+  perspective = ide_workbench_get_perspective_by_name (workbench, "editor");
+  g_assert (IDE_IS_LAYOUT (perspective));
+
+  pane = ide_layout_get_right_pane (IDE_LAYOUT (perspective));
+  g_assert (IDE_IS_LAYOUT_PANE (pane));
+
+  ide_layout_pane_remove_page (IDE_LAYOUT_PANE (pane), GTK_WIDGET (self->panel));
 }
 
 static void