Experiment with CodeMirror options