if (tools != null) { fPreviewViewer.configure(new JavaSourceViewerConfiguration(tools, null)); }
fPreviewViewer.configure(new JavaSourceViewerConfiguration(tools, null)); fPreviewViewer.getTextWidget().setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));
	private void createPreview(Composite parent) {		//fPreviewViewer= new StyledText(parent, SWT.BORDER| SWT.MULTI| SWT.V_SCROLL);		fPreviewViewer= new SourceViewer(parent, null,  SWT.H_SCROLL | SWT.V_SCROLL);		JavaTextTools tools= JavaPlugin.getDefault().getJavaTextTools();		if (tools != null) {			fPreviewViewer.configure(new JavaSourceViewerConfiguration(tools, null));		}		fPreviewViewer.setEditable(false);		fPreviewViewer.setDocument(fPreviewDocument);		Control control = fPreviewViewer.getControl();		GridData gd= new GridData();		gd.grabExcessHorizontalSpace= true;		gd.horizontalAlignment= GridData.FILL;		gd.verticalAlignment= GridData.FILL;		gd.horizontalSpan=1;		gd.heightHint= 250;		//gd.widthHint= 400;		control.setLayoutData(gd);//		fPreviewViewer.setFont(JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT));		updatePreview(fNewOptions);	}