Code Editor : preferences.menu