Code Editor : options.json