public interface IMDAEditorListener
setListener(IMDAEditorListener listener)
method.
When the specified event occurs, documentSaved(...)
or editorClosed(...)
will
be sent to the instance.
IMDATextEditor
Modifier and Type | Method and Description |
---|---|
void |
documentSaved(IMDATextEditor editor,
ModelElement modelElement,
java.io.File file)
This method is called after an editor is saved.
|
void |
editorClosed(IMDATextEditor editor)
This method is called after an editor is closed.
|
void editorClosed(IMDATextEditor editor)
editor
- the listened editor.void documentSaved(IMDATextEditor editor, ModelElement modelElement, java.io.File file)
editor
- the listened editor.modelElement
- the edited model element.file
- the edited file.