private void ContextUndo(object sender, RoutedEventArgs e) { if (this.currentTabIndex >= 0) { this.tab[this.currentTabIndex].TextEditor.Undo(); } }