Code Editor : options