Search functionality for the CodeMirror code editor - View it on GitHub