Class: DocumentRecoveredEvent

DocumentRecoveredEvent()

DocumentOpenedEvent sent after a newly-recovered document has been successfully opened in an XMLEditor.