UndoManager.redo
void 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.
void 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.