TextBuffer.redo

void redo()

Redoes the next redoable action on the buffer, if there is one.