void (String fontName) { ModifiableFontPreferences currPreferences = ensureEditableFontPreferences(); boolean useLigatures = currPreferences.useLigatures(); float editorFontSize = getEditorFontSize2D(); currPreferences.clear(); currPreferences.register(fontName, editorFontSize); currPreferences.setUseLigatures(useLigatures); initFonts(); }