#21: Removed settings toggle and made the settings shelf always visible.