Misc GUI settings for Mavericks 10.9