undo

fun undo()

Reverts the most recent edit, if any.

See also