public interface SelectionListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
default void |
selectionChanged(SelectionEvent e)
Called when the selected area in an editor is changed.
|
default void selectionChanged(SelectionEvent e)
e
- the event containing information about the change.