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