From c4f4c713b6adc7dacdfa721dbb80498a2f9f7cd7 Mon Sep 17 00:00:00 2001
From: Fabian Lupa <fabian@lupa.dev>
Date: Tue, 14 Jan 2020 17:01:56 +0100
Subject: [PATCH] Handle spaces in stage filter (#3153)

* Handle spaces in stage filter

#3073

* Fix JS lint issue

Co-authored-by: Lars Hvam <larshp@hotmail.com>
---
 src/ui/zabapgit_js_common.w3mi.data.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/zabapgit_js_common.w3mi.data.js b/src/ui/zabapgit_js_common.w3mi.data.js
index 371196409..194ff9d42 100644
--- a/src/ui/zabapgit_js_common.w3mi.data.js
+++ b/src/ui/zabapgit_js_common.w3mi.data.js
@@ -452,7 +452,7 @@ StageHelper.prototype.applyFilterToRow = function (row, filter) {
     if (elem.firstChild && elem.firstChild.tagName === "A") elem = elem.firstChild;
     return {
       elem:      elem,
-      plainText: elem.innerText, // without tags
+      plainText: elem.innerText.replace(/ /g, "\u00a0"), // without tags, with encoded spaces
       curHtml:   elem.innerHTML
     };
   }, this);