Code Editor : preferences.ui