Buffer.redo

Redoes the last undo operation. Use gtksource.buffer.Buffer.canRedo to check whether a call to this function will have any effect.

This function emits the #GtkSourceBuffer::redo signal.