if (fontData != null) { if (font != null) font.dispose (); font = new Font (fontButton.getDisplay(), fontData); chosenFont = fontData; }
if (fontData == null) return; Font oldFont = font; font = new Font (fontButton.getDisplay(), fontData); setExampleWidgetFont (); if (oldFont != null) oldFont.dispose ();
			public void widgetSelected (SelectionEvent e) {				FontDialog fontDialog = new FontDialog (fontButton.getShell());				if (chosenFont == null) {					fontDialog.setFontData ((fontButton.getFont().getFontData ())[0]);				} else {					fontDialog.setFontData(chosenFont);				}				FontData fontData = fontDialog.open ();				if (fontData != null) {					if (font != null) font.dispose ();					font = new Font (fontButton.getDisplay(), fontData);					chosenFont = fontData;				}			}