searchDisplay: Unset default result when clearing search

If we fail to do so, a previously set result may be activated by
hitting enter, even if a search did not turn up any actual results.
This commit is contained in:
Florian Müllner 2013-02-08 17:49:37 +01:00
parent 1bf996c705
commit af0b5e6176

View File

@ -423,6 +423,7 @@ const SearchResults = new Lang.Class({
this._searchSystem.reset(); this._searchSystem.reset();
this._statusBin.hide(); this._statusBin.hide();
this._clearDisplay(); this._clearDisplay();
this._defaultResult = null;
}, },
startingSearch: function() { startingSearch: function() {