Path placeholder = dockable.getPlaceholder(); if( placeholder != null ){ perspective.addPlaceholder( this, placeholder ); for( PlaceholderMap.Key key : placeholders.getPlaceholders() ){ for( Path subPlaceholder : key.getPlaceholders() ){ perspective.addPlaceholder( this, subPlaceholder );
Path placeholder = dockable.getPlaceholder(); if( placeholder != null ){ perspective.addPlaceholder( this, placeholder ); for( PlaceholderMap.Key key : placeholders.getPlaceholders() ){ for( Path subPlaceholder : key.getPlaceholders() ){ perspective.addPlaceholder( this, subPlaceholder );
public void replace( PerspectiveDockable oldDockable, PerspectiveDockable newDockable ){ Leaf leaf = getLeaf( oldDockable ); if( leaf == null ){ throw new IllegalArgumentException( "oldDockable not child of this station" ); } DockUtilities.ensureTreeValidity( this, newDockable ); PlaceholderMap map = leaf.getPlaceholderMap(); if( oldDockable.asStation() != null ){ map = oldDockable.asStation().getPlaceholders(); } Leaf copy = new Leaf( newDockable, leaf.getPlaceholders(), map, leaf.getNodeId() ); leaf.replace( copy ); Path placeholder = oldDockable.getPlaceholder(); if( placeholder != null ){ addPlaceholder( copy, placeholder ); } }
public void replace( PerspectiveDockable oldDockable, PerspectiveDockable newDockable ){ Leaf leaf = getLeaf( oldDockable ); if( leaf == null ){ throw new IllegalArgumentException( "oldDockable not child of this station" ); } DockUtilities.ensureTreeValidity( this, newDockable ); PlaceholderMap map = leaf.getPlaceholderMap(); if( oldDockable.asStation() != null ){ map = oldDockable.asStation().getPlaceholders(); } Leaf copy = new Leaf( newDockable, leaf.getPlaceholders(), map, leaf.getNodeId() ); leaf.replace( copy ); Path placeholder = oldDockable.getPlaceholder(); if( placeholder != null ){ addPlaceholder( copy, placeholder ); } }