public interface XalDocumentListener
Modifier and Type | Method and Description |
---|---|
void |
documentHasClosed(XalDocument document)
Handle the event in which a document has closed.
|
void |
documentWillClose(XalDocument document)
Handle a the event indicating that a document is about to close.
|
void |
hasChangesChanged(XalDocument document,
boolean newHasChangesStatus)
Handle a change in the whether a document has changes that need saving.
|
void |
titleChanged(XalDocument document,
java.lang.String newTitle)
Handle the title having changed for a document.
|
void titleChanged(XalDocument document, java.lang.String newTitle)
document
- The document whose title changed.newTitle
- The new document title.void hasChangesChanged(XalDocument document, boolean newHasChangesStatus)
document
- The document whose change status changednewHasChangesStatus
- The new "hasChanges" status of the document.void documentWillClose(XalDocument document)
document
- The document that will close.void documentHasClosed(XalDocument document)
document
- The document that has closed.