TextBuffer.undo

void undo()

Undoes the last undoable action on the buffer, if there is one.