void DocumentHandleRedone (object sender, TextDocument.UndoOperationEventArgs e) { var state = e.Operation.Tag as TextEditorDataState; if (state != null) state.RedoState (); }