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
internalLocationChange
void internalLocationChange(ModeArea source,
java.util.Set<Dockable> dockables)
- To be called if a set of
Dockable
s, 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 ModeArea
s which represent more than one
Mode
are required to call this listener.
- Parameters:
source
- the source of the eventdockables
- all the element which might have changed their mode