/**
* {@link DocumentOpenedEvent} sent after a newly-recovered document
* has been successfully opened in an XMLEditor.
*
* @see XMLEditor#recoverDocument
*/
export class DocumentRecoveredEvent extends DocumentOpenedEvent {
constructor(xmlEditor, data) {
super(xmlEditor, data, "documentRecovered");
}
}