redo method

void redo()

Implementation

void redo() {
  final tup = document.redo();
  if (tup.item1) {
    _handleHistoryChange(tup.item2);
  }
}