From c8365b74445db69f0ed4eeafa1b941fe0d988eb3 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 8 Feb 2013 20:39:16 -0500
Subject: [PATCH] viewSelector: Don't strip whitespace from search strings

This is already done by the search system itself.

https://bugzilla.gnome.org/show_bug.cgi?id=693458
---
 js/ui/viewSelector.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 51659103e..a87c54c53 100644
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -423,8 +423,7 @@ const ViewSelector = new Lang.Class({
 
     _doSearch: function () {
         this._searchTimeoutId = 0;
-        let text = this._text.get_text().replace(/^\s+/g, '').replace(/\s+$/g, '');
-        this._searchResults.doSearch(text);
+        this._searchResults.doSearch(this._text.text);
 
         this._showPage(this._searchPage);
     },