void (float fontSize) { fontSize = EditorFontsConstants.checkAndFixEditorFontSize(fontSize); ensureEditableFontPreferences().register(fontPreferences.getFontFamily(), fontSize); initFonts(); setSaveNeeded(true); }