void (@NotNull Element childNode) { for (Element colorElement : childNode.getChildren(OPTION_ELEMENT)) { String keyName = colorElement.getAttributeValue(NAME_ATTR); Color valueColor = myValueReader.read(Color.class, colorElement); if (valueColor == null && colorElement.getAttributeValue(BASE_ATTRIBUTES_ATTR) != null) { valueColor = INHERITED_COLOR_MARKER; } if (BACKGROUND_COLOR_NAME.equals(keyName)) { // This setting has been deprecated to usages of HighlighterColors.TEXT attributes. deprecatedBackgroundColor = valueColor; } ColorKey name = ColorKey.find(keyName); colorMap.put(name, valueColor == null ? NULL_COLOR_MARKER : valueColor); } }