From 76cc897c89530967dc7029aaf1f3c431f2803db7 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Tue, 3 Mar 2015 19:21:24 -0500
Subject: [PATCH] oops

---
 src/js/devtool-log.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/js/devtool-log.js b/src/js/devtool-log.js
index c2398678a..6f2bd1918 100644
--- a/src/js/devtool-log.js
+++ b/src/js/devtool-log.js
@@ -309,8 +309,8 @@ var onFilterChanged = function() {
 
     // Plain filtering
     var filterParts = filterRaw
-                        .replace(/^\s*-(\s+|$)/, '-\xA0')
-                        .replace(/^\s*\\+(\s+|$)/, '+\xA0')
+                        .replace(/^\s*-(\s+|$)/, '-\xA0 ')
+                        .replace(/^\s*\\+(\s+|$)/, '+\xA0 ')
                         .split(/[ \f\n\r\t\v​]+/);
     var n = filterParts.length;
     for ( var i = 0; i < n; i++ ) {