void close( WebWindow window ) { if (!_openWindows.contains( window )) throw new IllegalStateException( "Window is already closed" ); _openWindows.remove( window ); if (_openWindows.isEmpty()) _openWindows.add( new WebWindow( this ) ); if (window.equals( _mainWindow )) _mainWindow = (WebWindow) _openWindows.get(0); reportWindowClosed( window ); }
void close( WebWindow window ) { if (!_openWindows.contains( window )) throw new IllegalStateException( "Window is already closed" ); _openWindows.remove( window ); if (_openWindows.isEmpty()) _openWindows.add( new WebWindow( this ) ); if (window.equals( _mainWindow )) _mainWindow = (WebWindow) _openWindows.get(0); reportWindowClosed( window ); }
void close( WebWindow window ) { if (!_openWindows.contains( window )) throw new IllegalStateException( "Window is already closed" ); _openWindows.remove( window ); if (_openWindows.isEmpty()) _openWindows.add( new WebWindow( this ) ); if (window.equals( _mainWindow )) _mainWindow = (WebWindow) _openWindows.get(0); reportWindowClosed( window ); }