Minor PreferencesView GUI tweaks