From 79d4bec7165513c8bee82512453073f1ccfa629b Mon Sep 17 00:00:00 2001
From: Anton Tarasov <anton.tarasov@jetbrains.com>
Date: Fri, 28 Apr 2017 23:44:11 +0300
Subject: [PATCH] IDEA-172166 [linux] editor font size in Settings may decrease
 after restart

---
 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 628da926130e..ccdb8c3dfb0f 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
@@ -378,7 +378,7 @@ class UISettings : BaseState(), PersistentStateComponent<UISettings> {
         if (UIUtil.isJreHiDPIEnabled() && !SystemInfo.isMac) size = UIUtil.DEF_SYSTEM_FONT_SIZE.toInt()
       }
       else {
-        size = ((readSize.toFloat() / readScale) * normalizingScale).toInt()
+        if (readScale != normalizingScale) size = Math.round((readSize / readScale) * normalizingScale)
       }
       LOG.info("Loaded: fontSize=$readSize, fontScale=$readScale; restored: fontSize=$size, fontScale=$normalizingScale")
       return size