private void UpdateItems(Theme[] themes)
        {
            Contract.Requires<ArgumentNullException>(themes != null);

            ThemesComboBox.ItemsSource = themes;
            ThemeManager.AvailableThemes = themes;

            ThemesComboBox.SelectedItem = themes.First();
        }