/* Code from http://http://codemirror.net/ and https://github.com/marijnh/CodeMirror
License https://github.com/marijnh/CodeMirror/blob/master/LICENSE
*/