Code Editor : env-options.js