redo property

KeyBinding redo
final

Redo the most recently undone edit.

Implementation

final KeyBinding redo;