bibliothek.gui.dock.facile.mode
Interface ModeAreaListener


public interface ModeAreaListener

A listener that can be added to a ModeArea. The ModeArea must inform this listener if one of its children changed the location.

Author:
Benjamin Sigg

Method Summary
 void internalLocationChange(ModeArea source, java.util.Set<Dockable> dockables)
          To be called if a set of Dockables, which are children of the ModeArea source, changed their location such that their Mode might change.
 

Method Detail

internalLocationChange

void internalLocationChange(ModeArea source,
                            java.util.Set<Dockable> dockables)
To be called if a set of Dockables, which are children of the ModeArea source, changed their location such that their Mode might change.
Note: this method gets only called if Dockable.getDockParent() did not change. Only ModeAreas which represent more than one Mode are required to call this listener.

Parameters:
source - the source of the event
dockables - all the element which might have changed their mode