htmleditor.js update