redo method

HistoryChanged redo()

Implementation

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