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-146637 Border is off on the tool window's title

Browse Source
This commit is contained in:
Konstantin Bulenkov
2015-11-19 09:24:28 +01:00
parent 2dbde615ea
commit 5f9049f8aa
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/util/ui/UIUtil.java
+6 -3
View File
@@ -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);