Gtk.SourceBuffer.undo – gtksourceview-3.0 Reference Manual
undo
Description:
[
HasEmitter
]
public
virtual
signal
void
undo
()
The
undo
signal is emitted to undo the last user action which modified the buffer.
2022 vala-language.org