web-editor(JavaScript编辑器)