mainTab.getMinimizer().forceClose();
			public void menuShown( MenuEvent e ) {				MenuItem [] menuItems = fileMenu.getItems ();				for ( int i = 0; i < menuItems.length; i++ ) {					menuItems[ i ].dispose();				}								// File>Kill core if connected && gui has not spawned the core				if ( mainTab.getCore().isConnected()					&& G2Gui.getCoreConsole() == null ) {									menuItem = new MenuItem ( fileMenu, SWT.PUSH );					menuItem.addListener ( SWT.Selection, new Listener () {						public void handleEvent ( Event e ) {														MessageBox confirm =								new MessageBox( 									shell,									SWT.YES | SWT.NO | SWT.ICON_QUESTION );									confirm.setMessage( G2GuiResources.getString( "MISC_AYS" ) );											if ( confirm.open() == SWT.YES ) {								Message killCore = new EncodeMessage( Message.S_KILL_CORE );								killCore.sendMessage( mainTab.getCore() );							}						} 					} );					menuItem.setText ( "&Kill core" );				}								// File>Exit				menuItem = new MenuItem ( fileMenu, SWT.PUSH );				menuItem.addListener ( SWT.Selection, new Listener () {					public void handleEvent ( Event e ) {						shell.close();					} 				} );				menuItem.setText ( "E&xit\tCtrl+W" );				menuItem.setAccelerator ( SWT.CTRL + 'W' );							}