From ee804bb1f3bc7d0313a106b6ddd6610f52569c09 Mon Sep 17 00:00:00 2001
From: Sergey Malenkov <sergey.malenkov@jetbrains.com>
Date: Wed, 14 Dec 2016 13:05:19 +0300
Subject: [PATCH] Use RectanglePainter instead of drawRect to meet HiDPI

---
 .../src/com/intellij/ui/components/ScrollPainter.java           | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/ui/components/ScrollPainter.java b/platform/platform-api/src/com/intellij/ui/components/ScrollPainter.java
index 94c1582bf34d..bd1e07b3401d 100644
--- a/platform/platform-api/src/com/intellij/ui/components/ScrollPainter.java
+++ b/platform/platform-api/src/com/intellij/ui/components/ScrollPainter.java
@@ -125,7 +125,7 @@ class ScrollPainter extends RegionPainter.Alpha {
   }
 
   protected void draw(Graphics2D g, int x, int y, int width, int height) {
-    g.drawRect(x, y, width - 1, height - 1);
+    RectanglePainter.DRAW.paint(g, x, y, width, height, null);
   }
 
   private static class Round extends ScrollPainter {