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-193493 "Tip of the day" pixelated but correct size with 125% DPI scaling

Browse Source
This commit is contained in:
Anton Tarasov
2018-06-14 20:05:54 +03:00
parent b9e0171bf1
commit e4af280e6a
1 changed files with 12 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/util/TipUIUtil.java
+12 -5
View File
@@ -35,6 +35,7 @@ import com.intellij.openapi.util.registry.Registry;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.ui.ColorUtil;
import com.intellij.ui.TextAccessor;
import com.intellij.ui.paint.PaintUtil.RoundingMode;
import com.intellij.util.ObjectUtils;
import com.intellij.util.ReflectionUtil;
import com.intellij.util.ResourceUtil;
@@ -211,12 +212,18 @@ public class TipUIUtil {
int h = image.getHeight();
if (hidpi) {
// the expected (user space) size is @2x / 2 in either JRE-HiDPI or IDE-HiDPI mode
w /= 2;
h /= 2;
float k = 2f;
if (UIUtil.isJreHiDPI(component)) {
// in JRE-HiDPI mode we want the image to be drawn in its original size w/h, for better quality
k = JBUI.sysScale(component);
}
w /= k;
h /= k;
}
// fit the user scale
w = (int)(JBUI.scale((float)w));
h = (int)(JBUI.scale((float)h));
// round the user scale for better quality
int userScale = RoundingMode.ROUND_FLOOR_BIAS.round(JBUI.scale(1f));
w = userScale * w;
h = userScale * h;
if (fallbackUpscale) {
w *= 2;
h *= 2;