Code Editor : preferences