Search in sources :

Example 1 with DelegatingFontPreferences

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);
}
Also used : FontPreferences(com.intellij.openapi.editor.colors.FontPreferences) DelegatingFontPreferences(com.intellij.openapi.editor.colors.DelegatingFontPreferences) DelegatingFontPreferences(com.intellij.openapi.editor.colors.DelegatingFontPreferences)

Aggregations

DelegatingFontPreferences (com.intellij.openapi.editor.colors.DelegatingFontPreferences)1 FontPreferences (com.intellij.openapi.editor.colors.FontPreferences)1