void (EditorFontType fontType, String familyName, int style, float fontSize, FontPreferences fontPreferences) { Font baseFont = FontFamilyService.getFont(familyName, fontPreferences.getRegularSubFamily(), fontPreferences.getBoldSubFamily(), style, fontSize); fonts.put(fontType, deriveFontWithLigatures(baseFont, fontPreferences.useLigatures())); }