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