public void changed( Dockable dockable, DockTitle title, boolean active ) { title.changed( new ActivityDockTitleEvent( this, dockable, active )); }
public void changed( Dockable dockable, DockTitle title, boolean active ){ title.changed(new ActivityDockTitleEvent(this, dockable, active)); }
public void changed( Dockable dockable, DockTitle title, boolean active ) { title.changed( new ActivityDockTitleEvent( this, dockable, active )); }
public void changed( Dockable dockable, DockTitle title, boolean active ){ title.changed(new ActivityDockTitleEvent(this, dockable, active)); }
public void titleUnbound( DockController controller, DockTitle title, Dockable dockable ) { removeRepresentative( title ); activeTitles.remove( title ); DockStation parent = dockable.getDockParent(); if( parent != null ) parent.changed( dockable, title, false ); else title.changed( new ActivityDockTitleEvent( dockable, false )); }
@Override public void changed( Dockable dockable, DockTitle title, boolean active ) { ActivityDockTitleEvent event = new ActivityDockTitleEvent( this, dockable, active ); event.setPreferred( dockable == getFrontDockable() ); title.changed( event ); }
/** * Fires an event to the {@link DockTitle} of this <code>DockTitleTab</code>. */ protected void fire(){ DockTitle answer = title.getAnswer(); if( answer != null ){ EclipseDockTitleEvent eclipseEvent = new EclipseDockTitleEvent( station, dockable, selected, focused, paintIconWhenInactive ); answer.changed( eclipseEvent ); DockActionSource actions = new EclipseDockActionSource( theme, dockable.getGlobalActionOffers(), getEclipseTabStateInfo(), true ); ActionsDockTitleEvent actionEvent = new ActionsDockTitleEvent( station, dockable, actions ); answer.changed( actionEvent ); } } }
parent.changed( title.getValue(), title.getKey(), false ); else title.getKey().changed( new ActivityDockTitleEvent( title.getValue(), false ));
private void handleAddedTitle( Dockable dockable, DockTitle title ){ title.bind(); fireTitleBound( title, dockable ); DockStation station = dockable.getDockParent(); boolean focused = false; Dockable temp = getFocusedDockable(); while( !focused && temp != null ){ focused = temp == dockable; DockStation parent = temp.getDockParent(); temp = parent == null ? null : parent.asDockable(); } if( station == null ) title.changed( new ActivityDockTitleEvent( dockable, focused )); else station.changed( dockable, title, focused ); if( focused ) activeTitles.put( title, dockable ); }
title.changed( new ActionsDockTitleEvent( dockable, decorator.getActionSuggestion() ) );
/** * Exchanges the decorator of this displayer. * @param decorator the new decorator */ protected void setDecorator( BasicDockableDisplayerDecorator decorator ){ if( decorator == null ) throw new IllegalArgumentException( "decorator must not be null" ); if( this.decorator != null ){ this.decorator.setDockable( null, null ); this.decorator.setController( null ); this.decorator.removeDecoratorListener( decoratorListener ); } this.decorator = decorator; this.decorator.addDecoratorListener( decoratorListener ); this.decorator.setController( controller ); resetDecorator(); if( title != null ){ title.changed( new ActionsDockTitleEvent( dockable, decorator.getActionSuggestion() ) ); } fireMoveableElementChanged(); revalidate(); repaint(); }
public void setTitle( DockTitle title ) { this.title = title; if( title == null ){ content.setTitle( null ); } else{ content.setTitle( getComponent( title ) ); } if( title != null ){ title.setOrientation( orientation( location )); if( decorator != null ){ title.changed( new ActionsDockTitleEvent( dockable, decorator.getActionSuggestion() ) ); } } fireMoveableElementChanged(); revalidate(); }
public void setTitle( DockTitle title ) { this.title = title; if( title == null ){ content.setTitle( null ); } else{ content.setTitle( getComponent( title ) ); } if( title != null ){ title.setOrientation( orientation( location )); if( decorator != null ){ title.changed( new ActionsDockTitleEvent( dockable, decorator.getActionSuggestion() ) ); } } fireMoveableElementChanged(); revalidate(); }