Code Editor : preferences.cfg