UndoManager.redo

Perform a single redo. Calling this function when there are no redo operations available is an error. Use gtksource.undo_manager.UndoManager.canRedo to find out if there are redo operations available.