The "codeMirrorOptions" API mentioned above was experimental and has been removed. It's not clear yet how to modify this kind of settings with the new plugin system, but we'll get to it at some point.