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()