|| PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR.equals(property))
|| PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR.equals(property) || ExtendedTextEditorPreferenceConstants.EDITOR_SELECTION_FOREGROUND_COLOR.equals(property) || ExtendedTextEditorPreferenceConstants.EDITOR_SELECTION_FOREGROUND_DEFAULT_COLOR.equals(property) || ExtendedTextEditorPreferenceConstants.EDITOR_SELECTION_BACKGROUND_COLOR.equals(property) || ExtendedTextEditorPreferenceConstants.EDITOR_SELECTION_BACKGROUND_DEFAULT_COLOR.equals(property))
	public void propertyChange(PropertyChangeEvent event) {		String property = event.getProperty();		if (PreferenceConstants.EDITOR_FOREGROUND_COLOR.equals(property)				|| PreferenceConstants.EDITOR_FOREGROUND_DEFAULT_COLOR.equals(property)				|| PreferenceConstants.EDITOR_BACKGROUND_COLOR.equals(property)				|| PreferenceConstants.EDITOR_BACKGROUND_DEFAULT_COLOR.equals(property))		{			initializeViewerColors();		}			}