undo method

Implementation

HistoryChanged undo() {
  return _history.undo(this);
}