100101102103104105106107108109110
// ignore } public void fullscreenChanged( ScreenDockStation station, Dockable dockable ) { ModeAreaListener[] listeners; ModeArea source; if( station.isFullscreen( dockable )){ source = maximal; listeners = maximal.listeners(); }