public void controllerChanged( DockHierarchyEvent event ) { check(); } public void hierarchyChanged( DockHierarchyEvent event ) {
public void bind(){ if( !bound ){ // if we would live in a perfect world, this check wouldn't be necessary bound = true; dockable.addDockHierarchyListener( listener ); check(); } delegate.bind(); }
public void unbind() { if( bound ){ bound = false; dockable.removeDockHierarchyListener( listener ); check(); } delegate.unbind(); } }