SourceUndoManagerIF.undo

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