use of com.intellij.openapi.editor.colors.DelegatingFontPreferences in project intellij-community by JetBrains.
the class ConsoleFontOptions method setDelegatingPreferences.
@Override
protected void setDelegatingPreferences(boolean isDelegating) {
FontPreferences currPrefs = getCurrentScheme().getConsoleFontPreferences();
if (currPrefs instanceof DelegatingFontPreferences == isDelegating)
return;
if (isDelegating) {
getCurrentScheme().setUseEditorFontPreferencesInConsole();
} else {
getCurrentScheme().setConsoleFontPreferences(getFontPreferences());
}
updateOptionsList();
updateDescription(true);
}
Aggregations