undo method

HistoryChanged undo()

Implementation

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