public interface EditorKitListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
editorKitUpdate(EditorKitEvent e)
called by the sourcing EditorKit to signal a change
|
void editorKitUpdate(EditorKitEvent e)
Submit a bug : syd@jpicedt.org