redo method

void redo()

Implementation

void redo() {
  final result = document.redo();
  if (result.changed) {
    _handleHistoryChange(result.len);
  }
}