new search box for CodeMirror