public class DockableShowingManager extends DockStationAdapter
DockStation
whether it is visible or not. The
station can call the fire()
-method to send events to listeners,
if the visibility of some children has changed. The manager fires events
automatically if a Dockable
is added or removed from the
parent station. The manager tries to minimize the number of messages
sent to the listeners.Constructor and Description |
---|
DockableShowingManager(DockStationListenerManager listeners)
Constructs a new manager
|
Modifier and Type | Method and Description |
---|---|
void |
dockableAdded(DockStation station,
Dockable dockable)
Invoked after
dockable has been added to station .Note: this method is called when the tree of DockElement s contains
the new element, other properties - like the bounds of the
Component of dockable - might not yet be set. |
void |
dockableRemoved(DockStation station,
Dockable dockable)
Invoked after
dockable has been removed from
station . |
void |
fire()
Checks which
Dockables have changed their state and
fires events for them. |
dockableAdding, dockableRemoving, dockableSelected, dockableShowingChanged, dockablesRepositioned
public DockableShowingManager(DockStationListenerManager listeners)
listeners
- the listeners used to fire eventspublic void fire()
Dockables
have changed their state and
fires events for them.public void dockableAdded(DockStation station, Dockable dockable)
DockStationListener
dockable
has been added to station
.DockElement
s contains
the new element, other properties - like the bounds of the
Component
of dockable
- might not yet be set.dockableAdded
in interface DockStationListener
dockableAdded
in class DockStationAdapter
station
- the station where the new child was addeddockable
- the new childpublic void dockableRemoved(DockStation station, Dockable dockable)
DockStationListener
dockable
has been removed from
station
.dockableRemoved
in interface DockStationListener
dockableRemoved
in class DockStationAdapter
station
- the station where the old child was removeddockable
- the old child