redo method

void redo()

Implementation

void redo() {
  doc.sendChanges({
    "documentID": doc.id,
    "changes": [
      {"redo": {}},
    ],
  });
}