Code Editor : default-opts.js