Code Editor : options.xml