redo abstract method

void redo()

Redo a text change operation on this RawTextInput, also moves the cursor to the position it was at after text change.

Implementation

void redo();