private static void writeFontPreferences( @NotNull String key, @NotNull Element parent, @NotNull FontPreferences preferences) { for (String fontFamily : preferences.getRealFontFamilies()) { Element element = new Element(key); Element e = new Element(OPTION_ELEMENT); e.setAttribute(NAME_ATTR, EDITOR_FONT_NAME); e.setAttribute(VALUE_ELEMENT, fontFamily); element.addContent(e); e = new Element(OPTION_ELEMENT); e.setAttribute(NAME_ATTR, EDITOR_FONT_SIZE); e.setAttribute(VALUE_ELEMENT, String.valueOf(preferences.getSize(fontFamily))); element.addContent(e); parent.addContent(element); } }