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-183253 [fps] expandable tree item is shifted

Browse Source
This commit is contained in:
Anton Tarasov
2017-12-21 12:56:40 +03:00
parent 789e1d1f6e
commit 4eaebc0522
1 changed files with 15 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ui/AbstractExpandableItemsHandler.java
+15 -5
View File
@@ -25,10 +25,7 @@ import com.intellij.ui.popup.AbstractPopup;
import com.intellij.ui.popup.MovablePopup;
import com.intellij.util.Alarm;
import com.intellij.util.ObjectUtils;
import com.intellij.util.ui.JBInsets;
import com.intellij.util.ui.MouseEventAdapter;
import com.intellij.util.ui.MouseEventHandler;
import com.intellij.util.ui.UIUtil;
import com.intellij.util.ui.*;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
@@ -48,7 +45,20 @@ public abstract class AbstractExpandableItemsHandler<KeyType, ComponentType exte
@Override
protected void paintComponent(Graphics g) {
Insets insets = getInsets();
UIUtil.drawImage(g, myImage, insets.left, insets.top, null);
Graphics2D g2d = (Graphics2D)g;
double scale = (double)JBUI.sysScale((Graphics2D)g);
double devTop = insets.top * scale;
// A workaround for IDEA-183253. If insets.top is *.5 in device space, then move up the image by one device pixel.
if (devTop + 0.5 == Math.floor(devTop + 0.5)) {
g2d = (Graphics2D)g2d.create();
double devPix = 1 / scale;
g2d.translate(0, -devPix);
}
try {
UIUtil.drawImage(g2d, myImage, insets.left, insets.top, null);
} finally {
if (g2d != g) g2d.dispose();
}
}
};