Update htmleditor.js