bibliothek.gui.dock.station
Interface DockableDisplayerListener

public interface DockableDisplayerListener

A listener to a DockableDisplayer, gets informed if the displayer is no longer valid.

Author:

Benjamin Sigg

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

discard

void discard(DockableDisplayer displayer)

Called by displayer if it is no longer valid and should be replaced by another displayer.

Parameters:

displayer - the displayer to replace

moveableElementChanged

void moveableElementChanged(DockableDisplayer displayer)

Called if the result of DockableDisplayer.getMoveableElement() changed.

Parameters:

displayer - the source of the event