This commit is contained in:
gorhill 2015-03-03 19:21:24 -05:00
parent 1aff89c677
commit 76cc897c89
1 changed files with 2 additions and 2 deletions

View File

@ -309,8 +309,8 @@ var onFilterChanged = function() {
// Plain filtering // Plain filtering
var filterParts = filterRaw 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]+/); .split(/[ \f\n\r\t\v]+/);
var n = filterParts.length; var n = filterParts.length;
for ( var i = 0; i < n; i++ ) { for ( var i = 0; i < n; i++ ) {