htmleditor.js updated