String enabledKey= SemanticHighlightings.getEnabledPreferenceKey(semanticHighlighting); if (enabledKey.equals(event.getProperty())) { adaptToEnablementChange(fHighlightings[i], event); fPresenter.highlightingStyleChanged(fHighlightings[i]); continue; }
	private void handlePropertyChangeEvent(PropertyChangeEvent event) {		if (fPreferenceStore == null)			return; // Uninstalled during event notification				if (PreferenceConstants.EDITOR_SEMANTIC_HIGHLIGHTING_ENABLED.equals(event.getProperty())) {			if (isEnabled())				enable();			else				disable();			return;		}				if (!isEnabled())			return;				for (int i= 0, n= fSemanticHighlightings.length; i < n; i++) {			SemanticHighlighting semanticHighlighting= fSemanticHighlightings[i];						String colorKey= SemanticHighlightings.getColorPreferenceKey(semanticHighlighting);			if (colorKey.equals(event.getProperty())) {				adaptToTextForegroundChange(fHighlightings[i], event);				fPresenter.highlightingStyleChanged(fHighlightings[i]);				continue;			}						String boldKey= SemanticHighlightings.getBoldPreferenceKey(semanticHighlighting);			if (boldKey.equals(event.getProperty())) {				adaptToTextStyleChange(fHighlightings[i], event, SWT.BOLD);				fPresenter.highlightingStyleChanged(fHighlightings[i]);				continue;			}						String italicKey= SemanticHighlightings.getItalicPreferenceKey(semanticHighlighting);			if (italicKey.equals(event.getProperty())) {				adaptToTextStyleChange(fHighlightings[i], event, SWT.ITALIC);				fPresenter.highlightingStyleChanged(fHighlightings[i]);				continue;			}		}	}