fontDialog.setFontData(chosenFont[0]);
						public void widgetSelected( SelectionEvent e ) {							fontDialog.open();							if (fontDialog.getFontData() != null ) {								font = new Font( null, fontDialog.getFontData() );									chosenFont = font.getFontData();														fontSample.setFont( font );								fontSample.setSize( fontSample.computeSize( SWT.DEFAULT, SWT.DEFAULT ) );								hasChanged = true; 							}						}