Code Editor : preferences.ini