Update windowmod_codemirror.js