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

1) Initialize default font (prevents isModified=true and other side effects)

Browse Source 
2) Initialize default values in PersistentFontPreferences (for IDEA-171717)
This commit is contained in:
Rustam Vishnyakov
2017-04-25 19:11:53 +03:00
parent 50a308ba71
commit b305f2bc3d
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/editor-ui-ex/src/com/intellij/openapi/editor/colors/impl/AppEditorFontOptions.java
+5 -3
View File
@@ -31,12 +31,14 @@ public class AppEditorFontOptions implements PersistentStateComponent<AppEditorF
private final FontPreferencesImpl myFontPreferences = new FontPreferencesImpl();
public AppEditorFontOptions() {
myFontPreferences.setTemplateFontSize(UISettings.restoreFontSize(FontPreferences.DEFAULT_FONT_SIZE, 1.0f));
myFontPreferences.register(
FontPreferences.DEFAULT_FONT_NAME,
UISettings.restoreFontSize(FontPreferences.DEFAULT_FONT_SIZE, 1.0f));
}
public static class PersistentFontPreferences {
public int FONT_SIZE;
public String FONT_FAMILY;
public int FONT_SIZE = FontPreferences.DEFAULT_FONT_SIZE;
public @NotNull String FONT_FAMILY = FontPreferences.DEFAULT_FONT_NAME;
public float FONT_SCALE = 1.0f;
/**