public interface FocusedDiagramPaneControlChangedEventListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
focusedDiagramPaneControlChangedEventOccurred(FocusedDiagramPaneControlChangedEvent event) |
void focusedDiagramPaneControlChangedEventOccurred(FocusedDiagramPaneControlChangedEvent event)