RGB rgb= PreferenceConverter.getColor(fPreferenceStore, colorKey); if (fColorManager instanceof IColorManagerExtension) { IColorManagerExtension ext= (IColorManagerExtension) fColorManager; ext.unbindColor(colorKey); ext.bindColor(colorKey, rgb);
if (fColorManager != null && colorKey != null && fColorManager.getColor(colorKey) == null) { RGB rgb= PreferenceConverter.getColor(fPreferenceStore, colorKey); if (fColorManager instanceof IColorManagerExtension) { IColorManagerExtension ext= (IColorManagerExtension) fColorManager; ext.unbindColor(colorKey); ext.bindColor(colorKey, rgb); }
	private void addToken(String colorKey, String boldKey, String italicKey) {		RGB rgb= PreferenceConverter.getColor(fPreferenceStore, colorKey);		if (fColorManager instanceof IColorManagerExtension) {			IColorManagerExtension ext= (IColorManagerExtension) fColorManager;			ext.unbindColor(colorKey);			ext.bindColor(colorKey, rgb);		}				if (!fNeedsLazyColorLoading)			fTokenMap.put(colorKey, new Token(createTextAttribute(colorKey, boldKey, italicKey)));		else {			Token token= ((Token)fTokenMap.get(colorKey));			if (token != null)				token.setData(createTextAttribute(colorKey, boldKey, italicKey));		}	}