redo

fun redo(): Boolean

Repeats the last edit which was undone, and returns false when there is none.