public void titleTextChanged( Dockable dockable, String oldTitle, String newTitle ) { int index = indexOf( dockable ); if( index >= 0 ){ updateContent( index ); } }
public void titleToolTipChanged( Dockable dockable, String oldTooltip, String newTooltip ) { int index = indexOf( dockable ); if( index >= 0 ){ updateContent( index ); } }
public void titleIconChanged( Dockable dockable, Icon oldIcon, Icon newIcon ) { int index = indexOf( dockable ); if( index >= 0 ){ updateContent( index ); } }
public void contentChanged( Dockable dockable ){ if( dockable.getDockParent() == StackDockStation.this ){ int index = indexOf( dockable ); if( index >= 0 ){ updateContent( index ); } } } };
public void move() { int index = indexOf( dropping ); if( index >= 0 ){ int drop = insert.tab + (insert.right ? 1 : 0 ); if( drop > index ){ drop--; } StackDockStation.this.move( index, drop ); } }
public void drag( Dockable dockable ) { if( dockable.getDockParent() != this ) throw new IllegalArgumentException( "The dockable can't be dragged, it is not child of this station" ); int index = indexOf( dockable ); if( index < 0 ) throw new IllegalArgumentException( "The dockable is not part of this station." ); remove( index ); }
public void move( Dockable dockable, DockableProperty property ) { if( property instanceof StackDockProperty ){ DockUtilities.checkLayoutLocked(); int index = indexOf( dockable ); if( index < 0 ) throw new IllegalArgumentException( "dockable not child of this station" ); int destination = ((StackDockProperty)property).getIndex(); destination = Math.min( destination, getDockableCount()-1 ); destination = Math.max( 0, destination ); move( index, destination ); } }
public StackDockStationLayout getLayout( StackDockStation station, Map<Dockable, Integer> children ){ Dockable selectedDockable = station.getFrontDockable(); int selected = -1; if (selectedDockable != null) { selected = station.indexOf( selectedDockable ); } PlaceholderMap map = station.getPlaceholders( children ); return new StackDockStationLayout( selected, map ); }
public StackDockStationLayout getLayout( StackDockStation station, Map<Dockable, Integer> children ){ Dockable selectedDockable = station.getFrontDockable(); int selected = -1; if (selectedDockable != null) { selected = station.indexOf( selectedDockable ); } PlaceholderMap map = station.getPlaceholders( children ); return new StackDockStationLayout( selected, map ); }
public void setFrontDockable( Dockable dockable ) { if( dockables.dockables().size() > 1 && dockable != null ) stackComponent.setSelectedIndex( indexOf( dockable )); fireDockableSelected(); }
@Override public boolean isVisible( Dockable dockable ) { return isStationVisible() && (dockables.dockables().size() == 1 || indexOf( dockable ) == stackComponent.getSelectedIndex() ); }
public DockableProperty getDockableProperty( Dockable dockable, Dockable target ) { int index = indexOf( dockable ); PlaceholderStrategy strategy = getPlaceholderStrategy(); Path placeholder = null; if( strategy != null ){ placeholder = strategy.getPlaceholderFor( target == null ? dockable : target ); if( placeholder != null ){ dockables.dockables().addPlaceholder( index, placeholder ); } } return new StackDockProperty( index, placeholder ); }
private void focusAfterRemoving( boolean removedSelectedDockable ){ if( removedSelectedDockable ){ DockController controller = getController(); if( controller != null && dockables.dockables().size() > 1 ){ Dockable next = controller.getFocusHistory().getNewestOn( this ); if( next != null && next.getDockParent() == this ){ stackComponent.setSelectedIndex( indexOf( next ) ); return; } } } visibleListener.selectionChanged( stackComponent ); }
/** * Replaces <code>displayer</code> with a new instance. * @param displayer the displayer to replace */ protected void discard( DockableDisplayer displayer ){ Dockable dockable = displayer.getDockable(); int index = indexOf( dockable ); if( index < 0 ) throw new IllegalArgumentException( "displayer is not a child of this station: " + displayer ); StationChildHandle handle = dockables.dockables().get( index ); handle.updateDisplayer(); displayer = handle.getDisplayer(); if( dockables.dockables().size() == 1 && singleTabStackDockComponent() ){ panel.removeAll(); panel.add( displayer.getComponent() ); } else{ stackComponent.setComponentAt( index, displayer.getComponent() ); } }
public void replace( Dockable old, Dockable next, boolean station ) { DockUtilities.checkLayoutLocked(); DockController controller = getController(); try{ if( controller != null ) controller.freezeLayout(); int index = indexOf( old ); int listIndex = dockables.levelToBase( index, Level.DOCKABLE ); DockablePlaceholderList<StationChildHandle>.Item oldItem = dockables.list().get( listIndex ); remove( index ); add( next, index ); DockablePlaceholderList<StationChildHandle>.Item newItem = dockables.list().get( listIndex ); if( station ){ newItem.setPlaceholderMap( old.asDockStation().getPlaceholders() ); } else{ newItem.setPlaceholderMap( oldItem.getPlaceholderMap() ); } newItem.setPlaceholderSet( oldItem.getPlaceholderSet() ); } finally{ if( controller != null ) controller.meltLayout(); } }
public void apply( CGroupBehaviorCallback callback ){ int baseIndex = dockParent.indexOf( dockable ); Dockable[] children = new Dockable[ dockParent.getDockableCount() ]; for( int i = 0; i < children.length; i++ ){
public void apply( CGroupBehaviorCallback callback ){ int baseIndex = dockParent.indexOf( dockable ); Dockable[] children = new Dockable[ dockParent.getDockableCount() ]; for( int i = 0; i < children.length; i++ ){