void (boolean isDelegating) { FontPreferences currPrefs = getCurrentScheme().getConsoleFontPreferences(); if (currPrefs instanceof DelegatingFontPreferences == isDelegating) return; if (isDelegating) { getCurrentScheme().setUseEditorFontPreferencesInConsole(); } else { getCurrentScheme().setConsoleFontPreferences(getFontPreferences()); } updateOptionsList(); updateDescription(true); }