public void install( ScreenDockStation station ){ boolean empty = dockables.isEmpty(); station.addDockStationListener( stationListener ); station.addScreenDockStationListener( screenListener ); dockables.put( station, station.getFullscreenChildren() ); if( empty ){ desktop.addComponentListener( componentListener ); } }
public void install( ScreenDockStation station ){ boolean empty = dockables.isEmpty(); station.addDockStationListener( stationListener ); station.addScreenDockStationListener( screenListener ); dockables.put( station, station.getFullscreenChildren() ); if( empty ){ desktop.addComponentListener( componentListener ); } }
setRemoveEmptyGroups( false ); station.addScreenDockStationListener( new ScreenDockStationListener() { public void windowRegistering( ScreenDockStation station, Dockable dockable, ScreenDockWindow window ) {
private void init( WindowProvider owner ){ visibility = new DockableShowingManager( listeners ); this.owner = owner; displayerFactory = new DefaultDisplayerFactoryValue( ThemeManager.DISPLAYER_FACTORY + ".screen", this ); combiner = new StationCombinerValue( ThemeManager.COMBINER + ".screen", this ); displayers = new DisplayerCollection( this, displayerFactory, DISPLAYER_ID ); fullscreenAction = createFullscreenAction(); stationPaint = new DefaultStationPaintValue( ThemeManager.STATION_PAINT + ".screen", this ); magnet = new MagnetController( this ); addScreenDockStationListener( new ScreenWindowListener() ); owner.addWindowProviderListener( new WindowProviderListener(){ public void visibilityChanged( WindowProvider provider, boolean showing ){ // ignore } public void windowChanged (WindowProvider provider, Window window ){ updateWindows(); } }); }