if (javaTextTools.affectsBehavior(event))
if (configuration.affectsTextPresentation(event)) { configuration.handlePropertyChangeEvent(event);
	JavaSourcePreviewerUpdater(final SourceViewer viewer, final JavaTextTools javaTextTools) {		Assert.isNotNull(viewer);		Assert.isNotNull(javaTextTools);		final IPropertyChangeListener fontChangeListener= new IPropertyChangeListener() {			/*			 * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)			 */			public void propertyChange(PropertyChangeEvent event) {				if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) {					Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);					viewer.getTextWidget().setFont(font);				}			}		};		final IPreferenceStore preferenceStore= javaTextTools.getPreferenceStore();		final IPropertyChangeListener propertyChangeListener= new IPropertyChangeListener() {			/*			 * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)			 */			public void propertyChange(PropertyChangeEvent event) {				if (javaTextTools.affectsBehavior(event))					viewer.invalidateTextPresentation();			}		};		viewer.getTextWidget().addDisposeListener(new DisposeListener() {			/*			 * @see org.eclipse.swt.events.DisposeListener#widgetDisposed(org.eclipse.swt.events.DisposeEvent)			 */			public void widgetDisposed(DisposeEvent e) {				preferenceStore.removePropertyChangeListener(propertyChangeListener);				JFaceResources.getFontRegistry().removeListener(fontChangeListener);			}		});		JFaceResources.getFontRegistry().addListener(fontChangeListener);		preferenceStore.addPropertyChangeListener(propertyChangeListener);	}