bibliothek.gui.dock.station.support
Interface PlaceholderStrategyListener


public interface PlaceholderStrategyListener

A listener that gets added to a PlaceholderStrategy.

Author:
Benjamin Sigg

Method Summary
 void placeholderInvalidated(Set<Path> placeholders)
          Informs this listener that a set of placeholders is no longer in use.
 

Method Detail

placeholderInvalidated

void placeholderInvalidated(Set<Path> placeholders)
Informs this listener that a set of placeholders is no longer in use.

Parameters:
placeholders - the placeholders that are no longer valid