undo

fun undo()(source)

Executes the editing command undo in web page.