/**
* {@link XMLEditorEvent} sent after the document being edited in an XMLEditor
* has been successfully saved to disk.
*
* @see XMLEditor#saveDocument
*/
export class DocumentSavedEvent extends XMLEditorEvent {
constructor(xmlEditor, data) {
super(xmlEditor, data, "documentSaved");
}
}