public void Push(DocumentState state) { states.Add(state); }
public void Restore(DocumentState memento) { this.content = memento.getContent(); this.fontSize = memento.getFontSize(); this.fontName = memento.getFontName(); }