void (@NotNull String fontFamily) { String fallbackFontFamily = AppEditorFontOptions.NEW_FONT_SELECTOR ? null : FontPreferences.getFallbackName(fontFamily, null); if (!myRealFontFamilies.contains(fontFamily)) { myRealFontFamilies.add(fontFamily); } String effectiveFontFamily = fallbackFontFamily == null ? fontFamily : fallbackFontFamily; if (!myEffectiveFontFamilies.contains(effectiveFontFamily)) { myEffectiveFontFamilies.add(effectiveFontFamily); } notifyStateChanged(); }