/** * Sets whether the {@link DockTitle} should be shown or not. * @param showTitle <code>true</code> if the title should be visible, * <code>false</code> otherwise */ public void setShowTitle( boolean showTitle ) { if( this.showTitle != showTitle ){ this.showTitle = showTitle; if( handle != null ){ if( showTitle ){ handle.setTitleRequest( station.getTitleVersion() ); } else{ handle.setTitleRequest( null ); } } } }
/** * Sets whether the {@link DockTitle} should be shown or not. * @param showTitle <code>true</code> if the title should be visible, * <code>false</code> otherwise */ public void setShowTitle( boolean showTitle ) { if( this.showTitle != showTitle ){ this.showTitle = showTitle; if( handle != null ){ if( showTitle ){ handle.setTitleRequest( station.getTitleVersion() ); } else{ handle.setTitleRequest( null ); } } } }
public void setController( DockController controller ) { // remove old DockTitle if( handle != null ){ if( this.controller != null ){ handle.setTitleRequest( null ); } } background.setController( controller ); this.controller = controller; // create new DockTitle if( handle != null ){ if( this.controller != null && isShowTitle() ){ handle.setTitleRequest( station.getTitleVersion() ); } } }
public void setController( DockController controller ) { // remove old DockTitle if( handle != null ){ if( this.controller != null ){ handle.setTitleRequest( null ); } } background.setController( controller ); this.controller = controller; // create new DockTitle if( handle != null ){ if( this.controller != null && isShowTitle() ){ handle.setTitleRequest( station.getTitleVersion() ); } } }
handle = new StationChildHandle( station, station.getDisplayers(), dockable, showTitle ? station.getTitleVersion() : null ){ @Override protected void updateTitle( DockTitle title ){
handle = new StationChildHandle( station, station.getDisplayers(), dockable, showTitle ? station.getTitleVersion() : null ){ @Override protected void updateTitle( DockTitle title ){