Bug fixes: remove htmlmixed mode from codemirror.html and rename initHeight to optionHeight.