redo

If an undo resulted in a revert on the file and no other FileAction has occurred since, redo the previously reverted action.

This should only ever be called from RedoAction.execute to ensure it is performed through the synchronized execution path.

Parameters