Try autoidenting the following.
<!DOCTYPE html>
<html>
<body>
<script type="text/javascript">
alert('Hello, world!')
alert('I am javascript!')
</script>
</body>
</html>
Sure you'll notice that alerts don't match. There are other consequences of this bug too, I'll retest after fix.
P.S. I'm using mixed HTML/JS from example:
var editor = CodeMirror.fromTextArea('code', {
height: "500px",
parserfile: ["parsexml.js", "parsecss.js", "tokenizejavascript.js", "parsejavascript.js", "parsehtmlmixed.js"],
stylesheet: ["css/xmlcolors.css", "css/jscolors.css", "css/csscolors.css", "try.css"],
path: "js/",
reindentOnLoad: true,
initCallback: init
})