redo

fun redo()(source)

Executes the editing command redo in web page.