editorWebWorkerMain.js