/** * Informs all {@link DockStationListener}s that the selected element of this station changed. * This method only fires if there really is a change, hence it can be safely called multiple times. */ protected void fireDockableSelected(){ Dockable selection = getFrontDockable(); if( lastSelectedDockable != selection ){ listeners.fireDockableSelected( lastSelectedDockable, selection ); } }
@Override public TabContent filter( TabContent content, StackDockStation station, Dockable dockable ){ boolean selected = station.getFrontDockable() == dockable; return filter( content, selected ? this.selected : this.deselected ); }
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 selectionChanged( StackDockComponent stack ){ if( !ignoreSelectionChanges ){ DockController controller = getController(); if( controller != null && !updatingTheme ){ Dockable selection = getFrontDockable(); if( selection != null && !controller.getRelocator().isOnPut() ){ controller.setFocusedDockable( new DefaultFocusRequest( selection, null, false )); } fireDockableSelected(); } visibility.fire(); } }
public void merge( StationDropOperation operation, DockStation parent, DockStation child ){ DisplayerCombinerTarget target = operation.getDisplayerCombination(); if( target instanceof TabDisplayerCombinerTarget ){ TabDisplayerCombinerTarget tab = (TabDisplayerCombinerTarget)target; StackDockStation station = (StackDockStation)operation.getItem(); if( station.getDockParent() != null ){ station.getDockParent().drag( station ); } Dockable dockable = tab.getTarget(); parent.replace( dockable, station ); Dockable selected = station.getFrontDockable(); if( tab.getIndex() == 0 ){ station.add( dockable, station.getDockableCount() ); } else{ station.add( dockable, 0 ); } DockController controller = station.getController(); if( controller != null ){ controller.setFocusedDockable( selected, false ); } } } }
public void merge( StationDropOperation operation, DockStation parent, DockStation child ){ DisplayerCombinerTarget target = operation.getDisplayerCombination(); if( target instanceof TabDisplayerCombinerTarget ){ TabDisplayerCombinerTarget tab = (TabDisplayerCombinerTarget)target; StackDockStation station = (StackDockStation)operation.getItem(); if( station.getDockParent() != null ){ station.getDockParent().drag( station ); } Dockable dockable = tab.getTarget(); parent.replace( dockable, station ); Dockable selected = station.getFrontDockable(); if( tab.getIndex() == 0 ){ station.add( dockable, station.getDockableCount() ); } else{ station.add( dockable, 0 ); } DockController controller = station.getController(); if( controller != null ){ controller.setFocusedDockable( selected, false ); } } } }