This repository is no longer being maintained.
All development work has shifted to https://github.com/marijnh/CodeMirror.
This repository is no longer being maintained.
All development work has shifted to https://github.com/marijnh/CodeMirror.