codio/CodeMirror — pull request #7 by Dignifiedquire (2014-04-02 13:05:36+00:00)
Title: Update to v4

See codio/client#2703