The Meta-Environment API

Uses of Interface
nl.cwi.sen1.gui.plugin.EditorModifiedListener

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