private void ThemeOpen_Click(object sender, RoutedEventArgs e) { Problems.ItemsSource = Data.GetShortProblemNames(Themes.SelectedItem.ToString()); }