Posted https://groups.google.com/forum/?fromgroups=#!topic/codemirror/bJNFYJoNq6M