Color color = _colorManager.getColor(property);
if (((color == null) || !rgb.equals(color.getRGB()))
&& _colorManager instanceof IColorManagerExtension) {
IColorManagerExtension ext = (IColorManagerExtension) _colorManager;
ext.unbindColor(property);
ext.bindColor(property, rgb);
color = _colorManager.getColor(property);
}
TextAttribute oldAttr = highlighting.getTextAttribute();