From f12378cf7ba3db111a1f54a8e92a9bb3e9956c14 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 31 Oct 2013 15:59:23 +0000
Subject: [PATCH] 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 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/ui/search.js b/js/ui/search.js
index df6fda78f..a76680a25 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) {