text.setFont (font);
	void createExampleWidgets () {				/* Compute the widget style */		int style = SWT.NONE;		if (singleButton.getSelection ()) style |= SWT.SINGLE;		if (multiButton.getSelection ()) style |= SWT.MULTI;		if (horizontalButton.getSelection ()) style |= SWT.H_SCROLL;		if (verticalButton.getSelection ()) style |= SWT.V_SCROLL;		if (wrapButton.getSelection ()) style |= SWT.WRAP;		if (readOnlyButton.getSelection ()) style |= SWT.READ_ONLY;		if (borderButton.getSelection ()) style |= SWT.BORDER;			/* Create the example widgets */		text = new Text (textGroup, style);		text.setFont (font);		text.setText (ControlExample.getResourceString("Example_string"));		text.append (text.DELIMITER);		text.append (ControlExample.getResourceString("One_Two_Three"));		styledText = new StyledText (styledTextGroup, style);		styledText.setFont (font);		styledText.setText (ControlExample.getResourceString("Example_string"));		styledText.append ("\n");		styledText.append (ControlExample.getResourceString("One_Two_Three"));				/* Set the colors */		setColors ();	}