void (float fontSize) { ModifiableFontPreferences consoleFontPreferences = ensureEditableConsoleFontPreferences(); fontSize = EditorFontsConstants.checkAndFixEditorFontSize(fontSize); consoleFontPreferences.register(getConsoleFontName(), fontSize); initFonts(); }