fix: search box updateCounter

ajaxorg · Nov 22, 2024 · 318dd9a · 318dd9a
1 parent d530af2
commit 318dd9a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/ext/searchbox.js b/src/ext/searchbox.js
@@ -218,8 +218,10 @@ class SearchBox {
              * Convert all line ending variations to Unix-style = \n
              * Windows (\r\n), MacOS Classic (\r), and Unix (\n)
              */
-            if (editor.$search.$isMultilineSearch(editor.getLastSearchOptions()))
+            if (editor.$search.$isMultilineSearch(editor.getLastSearchOptions())) {
                 value = value.replace(/\r\n|\r|\n/g, "\n");
+                editor.session.doc.$autoNewLine = "\n";
+            }
 
             var offset = editor.session.doc.positionToIndex(editor.selection.anchor);
             if (this.searchRange)