private void writeColors(Element colorElements) {
List<ColorKey> list = new ArrayList<ColorKey>(myColorsMap.keySet());
Collections.sort(list);
for (ColorKey key : list) {
if (haveToWrite(key)) {
Color value = myColorsMap.get(key);
Element element = new Element(OPTION_ELEMENT);
element.setAttribute(NAME_ATTR, key.getExternalName());
element.setAttribute(
VALUE_ELEMENT, value != null ? Integer.toString(value.getRGB() & 0xFFFFFF, 16) : "");
colorElements.addContent(element);
}
}
}
private void readColors(Element childNode) {
for (final Object o : childNode.getChildren(OPTION_ELEMENT)) {
Element colorElement = (Element) o;
Color valueColor = readColorValue(colorElement);
final String colorName = colorElement.getAttributeValue(NAME_ATTR);
if (BACKGROUND_COLOR_NAME.equals(colorName)) {
// This setting has been deprecated to usages of HighlighterColors.TEXT attributes.
myDeprecatedBackgroundColor = valueColor;
}
ColorKey name = ColorKey.find(colorName);
myColorsMap.put(name, valueColor);
}
}