bibliothek.gui.dock.util
Interface WindowProviderListener


public interface WindowProviderListener

A listener added to a WindowProvider. The provider should inform the listener when its window changes.

Author:
Benjamin Sigg

Method Summary
 void windowChanged(WindowProvider provider, Window window)
          Called when the providers window changed.
 

Method Detail

windowChanged

void windowChanged(WindowProvider provider,
                   Window window)
Called when the providers window changed.

Parameters:
provider - the source of the event
window - the new window, which might be null