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.