|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DockableDisplayerListener
A listener to a DockableDisplayer
, gets informed if the
displayer is no longer valid.
Method Summary | |
---|---|
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. |
Method Detail |
---|
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |