/** * 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); }