if (event.getProperty().equals(PreferenceConstants.EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT);
if (event.getProperty().equals(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT)) { Font font= JFaceResources.getFont(PreferenceConstants.PROPERTIES_FILE_EDITOR_TEXT_FONT);
		SourcePreviewerUpdater(final SourceViewer viewer, final PropertiesFileSourceViewerConfiguration configuration, final IPreferenceStore preferenceStore) {			Assert.isNotNull(viewer);			Assert.isNotNull(configuration);			Assert.isNotNull(preferenceStore);			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 IPropertyChangeListener propertyChangeListener= new IPropertyChangeListener() {				/*				 * @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)				 */				public void propertyChange(PropertyChangeEvent event) {					if (configuration.affectsTextPresentation(event)) {						configuration.handlePropertyChangeEvent(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);		}