|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorModifiedListener | |
---|---|
nl.cwi.sen1.gui.plugin | |
nl.cwi.sen1.gui.plugin.editor |
Uses of EditorModifiedListener in nl.cwi.sen1.gui.plugin |
---|
Methods in nl.cwi.sen1.gui.plugin with parameters of type EditorModifiedListener | |
---|---|
void |
Editor.addEditorModifiedListener(EditorModifiedListener l)
|
void |
Editor.removeEditorModifiedListener(EditorModifiedListener l)
|
Uses of EditorModifiedListener in nl.cwi.sen1.gui.plugin.editor |
---|
Fields in nl.cwi.sen1.gui.plugin.editor with type parameters of type EditorModifiedListener | |
---|---|
private java.util.List<EditorModifiedListener> |
EditorPane.listeners
|
Methods in nl.cwi.sen1.gui.plugin.editor with parameters of type EditorModifiedListener | |
---|---|
void |
SwingEditor.addEditorModifiedListener(EditorModifiedListener l)
|
void |
EditorPane.addEditorModifiedListener(EditorModifiedListener l)
|
void |
SwingEditor.removeEditorModifiedListener(EditorModifiedListener l)
|
void |
EditorPane.removeEditorModifiedListener(EditorModifiedListener l)
|
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |