diff --git a/src/js/codemirror/search.js b/src/js/codemirror/search.js
index 2a63b7582..2cb598db7 100644
--- a/src/js/codemirror/search.js
+++ b/src/js/codemirror/search.js
@@ -167,6 +167,7 @@
             if (ch === "n") return "\n";
             if (ch === "r") return "\r";
             if (ch === 't') return '\t';
+            if (ch === '\\') return '\\';
             return _;
         });
     }