Update ui-codemirror.js