I got complied about this weird issue by a user who insist to use browser search instead the search functionality of CodeMirror. It does happen sometime when a text pasted to the input text box of browser search, either it say “No Match Found” but actually the searched text is existed in the CodeMirror edit or it get a wrong match amount.
However we didn’t get any trouble when input the search characters one by one to the search text input box. Is there any met the same issue or just me?