Font (@NotNull Font defaultFont, @NotNull AttributeSet attributeSet) { Object fontFamily = attributeSet.getAttribute(CSS.Attribute.FONT_FAMILY); if (fontFamily == null) { return defaultFont; } String fontFamilyAsString = fontFamily.toString(); if (!EDITOR_FONT_NAME_PLACEHOLDER.equals(fontFamilyAsString) && !EDITOR_FONT_NAME_NO_LIGATURES_PLACEHOLDER.equals(fontFamilyAsString)) { return defaultFont; } EditorColorsScheme scheme = myEditor == null ? EditorColorsManager.getInstance().getGlobalScheme() : myEditor.getColorsScheme(); Font font = scheme.getFont(EditorFontType.forJavaStyle(defaultFont.getStyle())).deriveFont(defaultFont.getSize2D()); if (EDITOR_FONT_NAME_NO_LIGATURES_PLACEHOLDER.equals(fontFamilyAsString)) { font = font.deriveFont(NO_LIGATURES_ATTRIBUTES); } return UIUtil.getFontWithFallback(font); }