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

Fixes:

Browse Source 
- Don't write editor font name twice when old font settings are used
- Return font family from getFontName() as expected by tests
This commit is contained in:
Rustam Vishnyakov
2017-04-18 17:59:04 +03:00
parent 0b70cdebcd
commit 8163dfb048
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/editor-ui-ex/src/com/intellij/openapi/editor/colors/impl/AbstractColorsScheme.java
+1 -5
View File
@@ -249,7 +249,7 @@ public abstract class AbstractColorsScheme extends EditorFontCacheImpl implement
@Override
public String getEditorFontName() {
return getFont(EditorFontType.PLAIN).getFontName();
return getFont(EditorFontType.PLAIN).getFamily();
}
@Override
@@ -601,10 +601,6 @@ public abstract class AbstractColorsScheme extends EditorFontCacheImpl implement
JdomKt.addOptionTag(parentNode, EDITOR_QUICK_JAVADOC_FONT_SIZE, getQuickDocFontSize().toString());
}
if (useOldFontFormat) {
JdomKt.addOptionTag(parentNode, EDITOR_FONT_NAME, myFontPreferences.getFontFamily());
}
Element colorElements = new Element(COLORS_ELEMENT);
Element attrElements = new Element(ATTRIBUTES_ELEMENT);