internal void RegisterAffectedDocument(TextDocument document) { if (affectedDocuments == null) affectedDocuments = new List<TextDocument>(); if (!affectedDocuments.Contains(document)) { affectedDocuments.Add(document); document.BeginUpdate(); } }
public void Redo(UndoStack stack) { Debug.Assert(stack.state == UndoStack.StatePlayback); stack.RegisterAffectedDocument(document); stack.state = UndoStack.StatePlaybackModifyDocument; Redo(); stack.state = UndoStack.StatePlayback; }