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