fHighlightings[i]= new Highlighting(new TextAttribute(fColorManager.getColor(PreferenceConverter.getColor(fPreferenceStore, colorKey)), null, style));
fHighlightings[i]= new Highlighting(new TextAttribute(fColorManager.getColor(PreferenceConverter.getColor(fPreferenceStore, colorKey)), null, style), isEnabled);
	private void initializeHighlightings() {		fSemanticHighlightings= SemanticHighlightings.getSemanticHighlightings();		fHighlightings= new Highlighting[fSemanticHighlightings.length];				for (int i= 0, n= fSemanticHighlightings.length; i < n; i++) {			SemanticHighlighting semanticHighlighting= fSemanticHighlightings[i];			String colorKey= SemanticHighlightings.getColorPreferenceKey(semanticHighlighting);			addColor(colorKey);						String boldKey= SemanticHighlightings.getBoldPreferenceKey(semanticHighlighting);			int style= fPreferenceStore.getBoolean(boldKey) ? SWT.BOLD : SWT.NORMAL;			String italicKey= SemanticHighlightings.getItalicPreferenceKey(semanticHighlighting);			if (fPreferenceStore.getBoolean(italicKey))				style |= SWT.ITALIC;			fHighlightings[i]= new Highlighting(new TextAttribute(fColorManager.getColor(PreferenceConverter.getColor(fPreferenceStore, colorKey)), null, style));		}	}