public interface DockableDisplayerListener
DockableDisplayer
, gets informed if the
displayer is no longer valid.Modifier and Type | Method and Description |
---|---|
void |
discard(DockableDisplayer displayer)
Called by
displayer if it is no longer valid
and should be replaced by another displayer. |
void |
moveableElementChanged(DockableDisplayer displayer)
Called if the result of
DockableDisplayer.getMoveableElement() changed. |
void discard(DockableDisplayer displayer)
displayer
if it is no longer valid
and should be replaced by another displayer.displayer
- the displayer to replacevoid moveableElementChanged(DockableDisplayer displayer)
DockableDisplayer.getMoveableElement()
changed.displayer
- the source of the event