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