Buffer.undo
void undo()Undoes the last user action which modified the buffer. Use [gtksource.buffer.Buffer.canUndo] to check whether a call to this function will have any effect.
This function emits the #GtkSourceBuffer::undo signal.
void undo()Undoes the last user action which modified the buffer. Use [gtksource.buffer.Buffer.canUndo] to check whether a call to this function will have any effect.
This function emits the #GtkSourceBuffer::undo signal.