public interface BasicDockableDisplayerDecoratorListener
BasicDockableDisplayerDecorator
and is informed if some
properties of the decorator change.Modifier and Type | Method and Description |
---|---|
void |
moveableElementChanged(BasicDockableDisplayerDecorator decorator)
Called if the result of
BasicDockableDisplayerDecorator.getMoveableElement() changed. |
void moveableElementChanged(BasicDockableDisplayerDecorator decorator)
BasicDockableDisplayerDecorator.getMoveableElement()
changed.decorator
- the source of the event