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-157667 Editor's scrollbar thumb: alpha and colors

Browse Source 
fix border drawing by filling a corresponding path
it is slightly slower but it is more accurate
This commit is contained in:
Sergey Malenkov
2016-07-04 21:08:10 +03:00
parent 7621f6ae53
commit aa0f1add77
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
+5 -6
View File
@@ -44,6 +44,7 @@ import java.awt.event.InputEvent;
import java.awt.event.MouseEvent;
import java.awt.event.MouseWheelEvent;
import java.awt.event.MouseWheelListener;
import java.awt.geom.Path2D;
import java.awt.geom.RoundRectangle2D;
import java.awt.image.*;
import java.lang.reflect.Field;
@@ -937,13 +938,11 @@ public class JBScrollPane extends JScrollPane {
g.fillRoundRect(x, y, width, height, arc, arc);
}
if (myDrawColor != null) {
Path2D path = new Path2D.Double(Path2D.WIND_EVEN_ODD);
path.append(new RoundRectangle2D.Double(x, y, width, height, arc, arc), false);
path.append(new RoundRectangle2D.Double(x + 1, y + 1, width - 2, height - 2, arc - 2, arc - 2), false);
g.setColor(myDrawColor);
if (UIUtil.isRetina(g)) {
g.drawRoundRect(x, y, width, height, arc, arc);
}
else {
g.drawRoundRect(x, y, width - 1, height - 1, arc, arc);
}
g.fill(path);
}
g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, old);
}