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

extra repainting fixed

Browse Source
This commit is contained in:
Kirill Kalishev
2010-06-21 14:04:58 +04:00
parent 261918695f
commit e5ef821bd0
1 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/ToolWindowsPane.java
+12 -6
View File
@@ -396,11 +396,14 @@ final class ToolWindowsPane extends JLayeredPane {
}
private void updateToolStripesVisibility(){
boolean oldVisible = myLeftStripe.isVisible();
final boolean showButtons = !UISettings.getInstance().HIDE_TOOL_STRIPES;
myLeftStripe.setVisible(showButtons || myStripesOverlayed);
myRightStripe.setVisible(showButtons || myStripesOverlayed);
myTopStripe.setVisible(showButtons || myStripesOverlayed);
myBottomStripe.setVisible(showButtons || myStripesOverlayed);
boolean visible = showButtons || myStripesOverlayed;
myLeftStripe.setVisible(visible);
myRightStripe.setVisible(visible);
myTopStripe.setVisible(visible);
myBottomStripe.setVisible(visible);
boolean overlayed = !showButtons && myStripesOverlayed;
@@ -409,8 +412,11 @@ final class ToolWindowsPane extends JLayeredPane {
myTopStripe.setOverlayed(overlayed);
myBottomStripe.setOverlayed(overlayed);
revalidate();
repaint();
if (oldVisible != visible) {
revalidate();
repaint();
}
}
Stripe getStripeFor(String id) {