From 865f2705cb18ad0fcf8be8625e7562de9d00d08d Mon Sep 17 00:00:00 2001 From: "Vassiliy.Kudryashov" Date: Tue, 7 Mar 2017 13:59:58 +0300 Subject: [PATCH] IDEA-169105 IDE first start: zero size font is allowed After-review: default font size should be 12 instead of 10 --- platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt index fc4d38632a27..494b0366d992 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt @@ -53,7 +53,7 @@ class UISettings : BaseState(), PersistentStateComponent { @get:Property(filter = FontFilter::class) @get:OptionTag("FONT_SIZE") - var fontSize by storedProperty(10) + var fontSize by storedProperty(12) @get:Property(filter = FontFilter::class) @get:OptionTag("FONT_SCALE")