Code Editor : worker-html.js