Class: DocumentSavedEvent

DocumentSavedEvent()

XMLEditorEvent sent after the document being edited in an XMLEditor has been successfully saved to disk.