public interface DockingMonitor
Modifier and Type | Method and Description |
---|---|
void |
addDockingListener(DockingListener listener) |
DockingListener[] |
getDockingListeners() |
void |
removeDockingListener(DockingListener listener) |
void addDockingListener(DockingListener listener)
void removeDockingListener(DockingListener listener)
DockingListener[] getDockingListeners()