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.
 

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