Removed for adding later.
Updated CodeMirror-related code.