[gnome-builder] workbench: add workaround for bug #741529

[Christian Hergert <chergert src gnome org>]

commit 8cb50516ae80d0349143339d8b70986b2701ae60
Author: Christian Hergert <christian hergert me>
Date:   Sun Dec 14 14:24:25 2014 -0800

    workbench: add workaround for bug #741529

 src/workbench/gb-workbench.c |   12 ++++++++++++
 1 files changed, 12 insertions(+), 0 deletions(-)
---
diff --git a/src/workbench/gb-workbench.c b/src/workbench/gb-workbench.c
index aa68477..dd4fdd6 100644
--- a/src/workbench/gb-workbench.c
+++ b/src/workbench/gb-workbench.c
@@ -822,4 +822,16 @@ gb_workbench_init (GbWorkbench *workbench)
                                      GB_TYPE_COMMAND_GACTION_PROVIDER);
   gb_workbench_add_command_provider (workbench,
                                      GB_TYPE_COMMAND_VIM_PROVIDER);
+
+  /*
+   * WORKAROUND:
+   *
+   * The GtkWidget template things that popover is a child of ours. When in
+   * reality it is a child of the GtkMenuButton (since it owns the "popover"
+   * property. Both our widget and the menu button try to call
+   * gtk_widget_destroy() on it.
+   *
+   * https://bugzilla.gnome.org/show_bug.cgi?id=741529
+   */
+  g_object_ref (workbench->priv->search_popover);
 }