@Override
public String getEditorFontName() {
if (myFallbackFontName != null) {
return myFallbackFontName;
}
return myFontPreferences.getFontFamily();
}
@Override
public String getConsoleFontName() {
return myConsoleFontPreferences.getFontFamily();
}