Closed aaronjorbin closed 6 years ago
Not all of the file is actually searched when using the browser based search.
@aaronjorbin CodeMirror has a search addon: https://codemirror.net/demo/search.html
Including that should solve this problem, yes?
Not all of the file is actually searched when using the browser based search.