Code Editor : launchEditor.js