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

fixing 'gap' between inactive tabs

Browse Source
This commit is contained in:
Maxim Shafirov
2012-10-26 12:46:02 +04:00
parent b187080540
commit 26cb2adf5e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/tabs/impl/DefaultEditorTabsPainter.java
+1 -1
View File
@@ -59,7 +59,7 @@ public class DefaultEditorTabsPainter implements JBEditorTabsPainter {
g2d.setColor(Gray._255.withAlpha(100));
}
g2d.drawLine(x, y, x + w, y);
g2d.drawLine(x, y, x + w - 1, y);
if (!vertical) {
drawShadow(g2d, x, w, y + h);