From 0811f718975c81669469eb412b99fa58af3b048b Mon Sep 17 00:00:00 2001 From: Marcel Gerber Date: Wed, 9 Oct 2013 16:56:10 +0200 Subject: [PATCH] Removed unnecessary part since a CodeMirror issue was fixed --- src/search/FindReplace.js | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/search/FindReplace.js b/src/search/FindReplace.js index 2a81f4562cc..f01711bd1f4 100644 --- a/src/search/FindReplace.js +++ b/src/search/FindReplace.js @@ -272,14 +272,6 @@ define(function (require, exports, module) { var cursor = getSearchCursor(cm, state.query); while (cursor.findNext()) { resultSet.push(cursor.pos); // pos is unique obj per search result - - // TODO: remove this section when https://github.com/marijnh/CodeMirror/issues/1155 is fixed - if (cursor.pos.match && cursor.pos.match[0] === "") { - if (cursor.to().line + 1 === cm.lineCount()) { - break; - } - cursor = getSearchCursor(cm, state.query, {line: cursor.to().line + 1, ch: 0}); - } } // Highlight all matches if there aren't too many