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

IDEA-172166 [linux] editor font size in Settings may decrease after restart

Browse Source
This commit is contained in:
Anton Tarasov
2017-04-28 23:46:50 +03:00
parent 38f7d00466
commit 79d4bec716
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.kt
+1 -1
View File
@@ -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