FontData fontData = fontDialog.open (); if (fontData == null) return; Font oldFont = font; font = new Font (fontButton.getDisplay(), fontData); setExampleWidgetFont (); if (oldFont != null) oldFont.dispose (); }
FontData fontData = fontDialog.open (); if (fontData == null) return; Font oldFont = font; font = new Font (fontButton.getDisplay(), fontData); setExampleWidgetFont (); setExampleWidgetSize(); if (oldFont != null) oldFont.dispose (); }
			public void widgetSelected (SelectionEvent e) {				FontData fontData = fontDialog.open ();				if (fontData == null) return;				Font oldFont = font;				font = new Font (fontButton.getDisplay(), fontData);				setExampleWidgetFont ();				if (oldFont != null) oldFont.dispose ();			}