|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorModifiedEvent | |
---|---|
nl.cwi.sen1.gui.plugin |
Uses of EditorModifiedEvent in nl.cwi.sen1.gui.plugin |
---|
Methods in nl.cwi.sen1.gui.plugin with parameters of type EditorModifiedEvent | |
---|---|
void |
EditorModifiedListener.editorModified(EditorModifiedEvent e)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |