redo method

HistoryChanged redo()

Implementation

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