/**
* Undo the last operation. You should only call this method if there is an operation that can be
* undone. This can be checked with <code>canUndo()</code>.
*
* @since 4.0.12
*/
public void undo() {
GtkSourceBuffer.undo(this);
}
/**
* Undo the last operation. You should only call this method if there is an operation that can be
* undone. This can be checked with <code>canUndo()</code>.
*
* @since 4.0.12
*/
public void undo() {
GtkSourceBuffer.undo(this);
}
