public void StopObservingUndoRedo(ITextUndoObserver observer) { this.undoObservers.Remove(observer); }
public void ObserveUndoRedo(ITextUndoObserver observer) { this.undoObservers.Add(observer); }