[gnome-documents] searchbar: make sure to hide the dropdown on search bar destroy

[Cosimo Cecchi <cosimoc src gnome org>]

commit b145bcf8bd6a267046b12611d2862601fb9a0bf6
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Fri Feb 22 16:43:14 2013 -0500

    searchbar: make sure to hide the dropdown on search bar destroy
    
    If we're getting destroyed, always hide the dropdown search panel.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=687648

 src/searchbar.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/searchbar.js b/src/searchbar.js
index 9dde42d..59fa2e1 100644
--- a/src/searchbar.js
+++ b/src/searchbar.js
@@ -312,6 +312,7 @@ const OverviewSearchbar = new Lang.Class({
 
         this._searchEntry.connect('destroy', Lang.bind(this,
             function() {
+                this._dropdown.hide();
                 Application.searchController.disconnect(searchChangedId);
             }));