Perform a single redo.
Calling this function when there are no redo operations available is an error. Use can_redo to find out if there are redo operations available.
a SourceUndoManager.