/** * Removes the child <code>dockable</code> from this station. * @param dockable the element to remove * @return <code>true</code> if <code>dockable</code> was removed, * <code>false</code> otherwise */ public boolean remove( PerspectiveDockable dockable ){ int index = indexOf( dockable ); if( index >= 0 ){ remove( index ); return true; } return false; }
/** * Removes the child <code>dockable</code> from this station. * @param dockable the element to remove * @return <code>true</code> if <code>dockable</code> was removed, * <code>false</code> otherwise */ public boolean remove( PerspectiveDockable dockable ){ int index = indexOf( dockable ); if( index >= 0 ){ remove( index ); return true; } return false; }
public void replace( PerspectiveDockable oldDockable, PerspectiveDockable newDockable ){ int index = indexOf( oldDockable ); if( index < 0 ){ throw new IllegalArgumentException( "oldDockable is not a child of this station" ); } DockUtilities.ensureTreeValidity( this, newDockable ); ScreenPerspectiveWindow window = dockables.dockables().get( index ); Path placeholder = oldDockable.getPlaceholder(); if( placeholder != null ){ dockables.put( placeholder, window ); } oldDockable.setParent( null ); newDockable.setParent( this ); window.dockable = newDockable; if( oldDockable.asStation() != null ){ int listIndex = dockables.levelToBase( index, Level.DOCKABLE ); PerspectivePlaceholderList<ScreenPerspectiveWindow>.Item item = dockables.list().get( listIndex ); item.setPlaceholderMap( oldDockable.asStation().getPlaceholders() ); } }
public void replace( PerspectiveDockable oldDockable, PerspectiveDockable newDockable ){ int index = indexOf( oldDockable ); if( index < 0 ){ throw new IllegalArgumentException( "oldDockable is not a child of this station" ); } DockUtilities.ensureTreeValidity( this, newDockable ); ScreenPerspectiveWindow window = dockables.dockables().get( index ); Path placeholder = oldDockable.getPlaceholder(); if( placeholder != null ){ dockables.put( placeholder, window ); } oldDockable.setParent( null ); newDockable.setParent( this ); window.dockable = newDockable; if( oldDockable.asStation() != null ){ int listIndex = dockables.levelToBase( index, Level.DOCKABLE ); PerspectivePlaceholderList<ScreenPerspectiveWindow>.Item item = dockables.list().get( listIndex ); item.setPlaceholderMap( oldDockable.asStation().getPlaceholders() ); } }