SourceBuffer.redo

Redoes the last undo operation. Use gtk_source_buffer_can_redo() to check whether a call to this function will have any effect.

This function emits the #GtkSourceBuffer::redo signal.