private void UpdateItems(Theme[] themes) { Contract.Requires<ArgumentNullException>(themes != null); ThemesComboBox.ItemsSource = themes; ThemeManager.AvailableThemes = themes; ThemesComboBox.SelectedItem = themes.First(); }