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