updated search box for CodeMirror