public interface SelectionListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
selectionUpdate(SelectionEvent e)
called when the content of the selection changed
|
void selectionUpdate(SelectionEvent e)
Submit a bug : syd@jpicedt.org