tool window borders update

This commit is contained in:
Kirill Kalishev
2010-06-30 16:54:11 +04:00
parent 7c8825d74f
commit f095abb770
4 changed files with 5 additions and 3 deletions
@@ -45,7 +45,7 @@ public class TabsBorder {
myEffectiveBorder = null;
myTabs.revalidateAndRepaint(false);
myTabs.relayout(true, false);
return myTabs;
}
@@ -77,7 +77,6 @@ public class TabsBorder {
myPosition == JBTabsPosition.bottom ? myTabBorderSize : myBorderSize.bottom,
myPosition == JBTabsPosition.right ? myTabBorderSize : myBorderSize.right
);
return (Insets)myEffectiveBorder.clone();
}
}
@@ -17,6 +17,7 @@ package com.intellij.ui.tabs.impl.singleRow;
import com.intellij.ui.tabs.TabInfo;
import com.intellij.ui.tabs.impl.*;
import org.jetbrains.annotations.Nullable;
import javax.swing.*;
import java.awt.*;
@@ -128,6 +128,8 @@ public class TableLayout extends TabLayout {
toAjust = true;
}
toAjust |= myTabs.myForcedRelayout;
for (int i = 0; i < eachRow.myColumns.size(); i++) {
TabInfo tabInfo = eachRow.myColumns.get(i);
final TabLabel label = myTabs.myInfo2Label.get(tabInfo);
@@ -463,7 +463,7 @@ public final class InternalDecorator extends JPanel implements Queryable, TypeSa
}
if (insets.bottom > 0) {
UIUtil.drawLine(g, x + 1, y + height - 1, x + width - 1, y + height - 1);
UIUtil.drawLine(g, x, y + height - 1, x + width - 1, y + height - 1);
}
}