From 5f9049f8aa65531ebfd1a9f845fa5cc6c759ec8b Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Thu, 19 Nov 2015 09:22:00 +0100
Subject: [PATCH] IDEA-146637 Border is off on the tool window's title

---
 platform/util/src/com/intellij/util/ui/UIUtil.java | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/platform/util/src/com/intellij/util/ui/UIUtil.java b/platform/util/src/com/intellij/util/ui/UIUtil.java
index 511fbb39a97a..fb863b626e97 100644
--- a/platform/util/src/com/intellij/util/ui/UIUtil.java
+++ b/platform/util/src/com/intellij/util/ui/UIUtil.java
@@ -1626,6 +1626,9 @@ public class UIUtil {
       g.setColor(getPanelBackground());
       g.fillRect(x, 0, width, height);
 
+      if (isRetina()) {
+        ((Graphics2D)g).setStroke(new BasicStroke(2f));
+      }
       ((Graphics2D)g).setPaint(getGradientPaint(0, 0, Gray.x00.withAlpha(5), 0, height, Gray.x00.withAlpha(20)));
       g.fillRect(x, 0, width, height);
 
@@ -1643,7 +1646,7 @@ public class UIUtil {
         g.setColor(isUnderDarcula() ? Gray._255.withAlpha(30) : Gray.xFF.withAlpha(100));
       }
 
-      g.drawLine(x, drawTopLine ? 1 : 0, width, drawTopLine ? 1 : 0);
+      g.drawLine(x, 0, width, 0);
     } finally {
       config.restore();
     }
@@ -1728,7 +1731,7 @@ public class UIUtil {
         img = image;
       }
       newG.drawImage(img, 0, 0, observer);
-      newG.scale(1, 1);
+      //newG.scale(1, 1);
       newG.dispose();
     } else {
       g.drawImage(image, x, y, observer);
@@ -1744,7 +1747,7 @@ public class UIUtil {
         img = image;
       }
       newG.drawImage((BufferedImage)img, op, 0, 0);
-      newG.scale(1, 1);
+      //newG.scale(1, 1);
       newG.dispose();
     } else {
       ((Graphics2D)g).drawImage(image, op, x, y);