[gnome-shell] search: Hide overview when activating result

[Florian Müllner <fmuellner src gnome org>]

commit f12378cf7ba3db111a1f54a8e92a9bb3e9956c14
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 31 15:59:23 2013 +0000

    search: Hide overview when activating result
    
    This was (accidentally?) dropped by commit 3749b093666bf4e6f4.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=711205

 js/ui/search.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/search.js b/js/ui/search.js
index df6fda7..a76680a 100644
--- a/js/ui/search.js
+++ b/js/ui/search.js
@@ -346,7 +346,8 @@ const SearchResultsBase = new Lang.Class({
     },
 
     _activateResult: function(result, id) {
-        return this.provider.activateResult(id, this._terms);
+        this.provider.activateResult(id, this._terms);
+        Main.overview.toggle();
     },
 
     _setMoreIconVisible: function(visible) {