public interface GetDiagramObjectWidthEventListener
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
getDiagramObjectWidthEventOccurred(GetDiagramObjectWidthEvent event) |
void getDiagramObjectWidthEventOccurred(GetDiagramObjectWidthEvent event)