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