[gnome-builder] libide: manually hide popover, as gtk+ does not anymore

[Christian Hergert <chergert src gnome org>]

commit 1e917e3fc0bd6e4742518cf56ef1db6068f1fae1
Author: Christian Hergert <christian hergert me>
Date:   Wed Mar 11 13:41:33 2015 -0700

    libide: manually hide popover, as gtk+ does not anymore
    
    This was broken by the following gtk+ commit. Easy enough to handle
    closing the popover ourselves.
    
    https://git.gnome.org/browse/gtk+/commit/?id=0796d7b6ff9393746d90841c8db2ba9a2f7e6df8

 src/search/gb-search-box.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/search/gb-search-box.c b/src/search/gb-search-box.c
index 88ca9e8..f5f2c1a 100644
--- a/src/search/gb-search-box.c
+++ b/src/search/gb-search-box.c
@@ -262,6 +262,10 @@ gb_search_box_button_toggled (GbSearchBox     *box,
       if (!gtk_widget_has_focus (GTK_WIDGET (box->priv->entry)))
         gtk_widget_grab_focus (GTK_WIDGET (box->priv->entry));
     }
+  else
+    {
+      gtk_widget_hide (GTK_WIDGET (box->priv->popover));
+    }
 }
 
 static void