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