Various improvements to settings screen GUI
Renamed SettingsScreen to PreferencesScreen, to better reflect its purpose.