mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Use Source Code Pro as we don't have problems with unprintable pseudo-graphics as we iterate fonts to find suitable one for unprintable characters.
This commit is contained in:
+3
-11
@@ -151,19 +151,11 @@ class JBTerminalSystemSettingsProvider extends DefaultTabbedSettingsProvider imp
|
||||
public String getFontName() {
|
||||
List<String> fonts = myColorScheme.getConsoleFontPreferences().getEffectiveFontFamilies();
|
||||
|
||||
for (String font : fonts) {
|
||||
if (isApplicable(font)) {
|
||||
return font;
|
||||
}
|
||||
if (fonts.size()>0) {
|
||||
return fonts.get(0);
|
||||
}
|
||||
return "Monospaced-14";
|
||||
}
|
||||
|
||||
private static boolean isApplicable(String font) {
|
||||
if ("Source Code Pro".equals(font)) {
|
||||
return false;
|
||||
}
|
||||
return true;
|
||||
return "Monospaced-14";
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user