SourceUndoManagerIF.redo

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