[gnome-shell] search: Reset the search display when there's no search terms

[Jasper St. Pierre <jstpierre src gnome org>]

commit e6cd112379cd386897108d806bc92c1ccaa59808
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue Sep 30 00:22:14 2014 -0600

    search: Reset the search display when there's no search terms
    
    Destroy the previous search view when there's no search terms, to make
    sure old search items don't show up.

 js/ui/search.js |   13 ++++++++++++-
 1 files changed, 12 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/search.js b/js/ui/search.js
index 709484d..d2ecd91 100644
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -459,6 +459,17 @@ const SearchResults = new Lang.Class({
         }
     },
 
+    _reset: function() {
+        this._terms = [];
+        this._results = {};
+        this._clearDisplay();
+        this._clearSearchTimeout();
+        this._defaultResult = null;
+        this._startingSearch = false;
+
+        this._updateSearchProgress();
+    },
+
     _doSearch: function() {
         this._startingSearch = false;
 
@@ -493,7 +504,7 @@ const SearchResults = new Lang.Class({
         this._cancellable.reset();
 
         if (terms.length == 0) {
-            this._clearSearchTimeout();
+            this._reset();
             return;
         }