public interface SelectedGUIElementChangedListener
| Modifier and Type | Method and Description |
|---|---|
void |
guiSelectionChanged(SelectedGUIElementChangedEvent selectionChangeEvent)
Informs the listener that a new GUI element has been selected.
|
void guiSelectionChanged(SelectedGUIElementChangedEvent selectionChangeEvent)
guiSelectionChanged(SelectedGUIElementChangedEvent) since
this may lead to an infinite loop.
Please check whether the GUI already has been closed or disposed, in which case this call should be ignored. It may also be necessary to use the right thread since this cannot be ensured by the caller of this method.
selectionChangeEvent - The event that encapsulates the selected
element as well as the graphical source where the element was
selected.