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

overlayed tool buutons fix for different ui settings

Browse Source
This commit is contained in:
Kirill Kalishev
2010-06-17 15:33:14 +04:00
parent 7946b69129
commit 1ed2144711
1 changed files with 11 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/ToolWindowsPane.java
+11 -1
View File
@@ -156,7 +156,8 @@ final class ToolWindowsPane extends JLayeredPane {
protected void paintChildren(Graphics g) {
super.paintChildren(g);
if (myTopStripe.isVisible() && myStripesOverlayed && UISettings.getInstance().HIDE_TOOL_STRIPES) {
UISettings settings = UISettings.getInstance();
if (myTopStripe.isVisible() && myStripesOverlayed && settings.HIDE_TOOL_STRIPES) {
Dimension topSize = myTopStripe.getSize();
Dimension bottomSize = myBottomStripe.getSize();
Dimension leftSize = myLeftStripe.getSize();
@@ -168,12 +169,18 @@ final class ToolWindowsPane extends JLayeredPane {
size.height - topSize.height - bottomSize.height);
g.setColor(Color.gray);
boolean strikeoutTop = settings.SHOW_MAIN_TOOLBAR && !settings.SHOW_NAVIGATION_BAR && topSize.height == 0;
if (topSize.height> 0) {
g.drawLine(rec.x, rec.y, rec.x + rec.width, rec.y);
}
if (leftSize.width > 0) {
g.drawLine(rec.x, rec.y, rec.x, rec.y + rec.height);
if (strikeoutTop) {
g.drawLine(0, rec.y, rec.x, rec.y);
}
}
if (bottomSize.height > 0) {
@@ -182,6 +189,9 @@ final class ToolWindowsPane extends JLayeredPane {
if (rightSize.width > 0) {
g.drawLine(rec.x + rec.width, rec.y, rec.x + rec.width, rec.y + rec.height);
if (strikeoutTop) {
g.drawLine(rec.x + rec.width, rec.y, size.width, rec.y);
}
}
}
}