MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Revert default font changes (failing tests)

Browse Source
This commit is contained in:
Rustam Vishnyakov
2017-04-28 11:21:45 +03:00
parent c3dd106963
commit cae7ffb78d
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/editor-ui-api/src/com/intellij/openapi/editor/colors/FontPreferences.java
+1 -3
View File
@@ -31,8 +31,7 @@ public interface FontPreferences {
float DEFAULT_LINE_SPACING = 1.0f;
String MAC_OS_DEFAULT_FONT_FAMILY = "Menlo";
String LINUX_DEFAULT_FONT_FAMILY = "DejaVu Sans Mono";
String WINDOWS_DEFAULT_FONT_FAMILY = "Consolas";
String FALLBACK_FONT_FAMILY = "Monospaced";
String WINDOWS_DEFAULT_FONT_FAMILY = "Monospaced";
@NotNull
List<String> getEffectiveFontFamilies();
@@ -85,7 +84,6 @@ public interface FontPreferences {
return font.getFontName();
}
}
return FALLBACK_FONT_FAMILY;
}
return WINDOWS_DEFAULT_FONT_FAMILY;
}