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);
				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);					}				}