/** * Requests a new title for this {@link Dockable} */ public void requestTitle(){ if( titleRequest != null ){ titleRequest.request(); } }
/** * Calls {@link DockTitleRequest#request()} for all {@link DockTitleRequest}s * that are currently installed on this version. */ public void request(){ for( DockTitleRequest request : requests ){ request.request(); } }
public void bind( boolean transparency ) { request = new DockTitleRequest( null, dockable, version ) { @Override protected void answer( DockTitle previous, DockTitle title ){ if( previous != null ){ dockable.unbind( previous ); } content.removeAll(); if( title != null ){ title.setOrientation( orientation ); dockable.bind( title ); content.add( title.getComponent(), BorderLayout.CENTER ); } } }; request.install(); request.request(); }
public void bind() { title.install(); title.request(); fire(); }
/** * Discards the current {@link DockableDisplayer} and creates a new one using the same * {@link DockTitle} as was used for the old one. If there is currently no {@link DockableDisplayer} * in use, then a new {@link DockTitle} is created. */ public void updateDisplayer(){ DockTitle title = null; if( displayer != null ){ title = displayer.getTitle(); displayers.release( displayer ); } else{ if( titleRequest != null ){ titleRequest.request(); title = titleRequest.getAnswer(); if( title != null ){ dockable.bind( title ); } } } displayer = displayers.fetch( dockable, title ); }
/** * Stores <code>factory</code> at the slot <code>priority</code>. * @param factory the factory * @param priority the importance of the factory */ public void setFactory( DockTitleFactory factory, Priority priority ){ DockTitleFactory oldFactory = getFactory(); factories[ map( priority ) ] = factory; DockTitleFactory newFactory = getFactory(); if( oldFactory != newFactory ){ if( oldFactory != null ){ for( DockTitleRequest request : requests ){ oldFactory.uninstall( request ); } } if( newFactory != null ){ for( DockTitleRequest request : requests ){ newFactory.install( request ); if( !onThemeChange ){ request.request(); } } } } }
titleRequest.install(); if( request ){ titleRequest.request();