Texteditor.RedoAvailable -- learn when redo is available
Function
This tag is set to True when the user is able to redo his action(s)
(normally after an undo). You can create a notify on this tag and
disable your redo button when there is nothing to redo.