public void setFrontDockable( Dockable dockable ){ Dockable old = getFrontDockable(); this.frontDockable = dockable; if( isFullScreen() && dockable != null ) setFullScreen(dockable); if( old != dockable ){ access.dockableSelected( old ); } }
public void setFrontDockable( Dockable dockable ){ Dockable old = getFrontDockable(); this.frontDockable = dockable; if( isFullScreen() && dockable != null ) setFullScreen(dockable); if( old != dockable ){ access.dockableSelected( old ); } }