updated CodeMirror
improved widget stuff
fixed html syntax highlighting