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