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.