/**
* {@link XMLEditorEvent} sent after the document being edited in an XMLEditor
* has been successfully closed.
*
* @see XMLEditor#closeDocument
*/
export class DocumentClosedEvent extends XMLEditorEvent {
constructor(xmlEditor, data) {
super(xmlEditor, data, "documentClosed");
}
}