private void TextEditor_Unloaded(object sender, RoutedEventArgs e)
{
if (!(sender is TextEditor textEditor))
{
return;
}
textEditor.TextChanging -= TextEditor_TextChanging;
textEditor.SelectionChanged -= TextEditor_SelectionChanged;
if (Sets.Items?.Count == 0)
{
Application.Current.Exit();
}
if (FindAndReplacePlaceholder.Visibility == Visibility.Visible)
{
FindAndReplacePlaceholder.Dismiss();
}
}
private void FindAndReplaceControl_OnDismissKeyDown(object sender, RoutedEventArgs e)
{
FindAndReplacePlaceholder.Dismiss();
FocusOnSelectedTextEditor();
}