User blog comment:Kirkburn/Syntax highlighting - helping you read and write code/@comment-452-20150410203600/@comment-5288784-20150410213851

Actually, this has nothing to do with code highlighting. The bug occurs, when you try to use default browser search rather than built-in editor search. The browser search is used when you press Ctrl+F after you click outside edit area, while the in-editor search is the same combination if your edit box is the one currently active. If you accidentally use browser search, then click edit box, press Ctrl+F, and then search anything.

That's at least how it works in unhacked version of the editor.