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-196307 Stripe buttons layout is broken after 'move to top/left/bottom/right'

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2018-07-30 19:13:00 +03:00
parent 719f2faab8
commit 3ac94ff895
1 changed files with 7 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
+7 -6
View File
@@ -969,31 +969,32 @@ public final class ToolWindowsPane extends JBLayeredPane implements UISettingsLi
private final class RemoveToolStripeButtonCmd extends FinalizableCommand {
private final StripeButton myButton;
private final WindowInfoImpl myInfo;
private final ToolWindowAnchor myAnchor;
RemoveToolStripeButtonCmd(@NotNull StripeButton button, @NotNull WindowInfoImpl info, @NotNull Runnable finishCallBack) {
super(finishCallBack);
myButton = button;
myInfo = info;
myAnchor = myInfo.getAnchor();
}
@Override
public final void run() {
try {
final ToolWindowAnchor anchor = myInfo.getAnchor();
if (ToolWindowAnchor.TOP == anchor) {
if (ToolWindowAnchor.TOP == myAnchor) {
myTopStripe.removeButton(myButton);
}
else if (ToolWindowAnchor.LEFT == anchor) {
else if (ToolWindowAnchor.LEFT == myAnchor) {
myLeftStripe.removeButton(myButton);
}
else if (ToolWindowAnchor.BOTTOM == anchor) {
else if (ToolWindowAnchor.BOTTOM == myAnchor) {
myBottomStripe.removeButton(myButton);
}
else if (ToolWindowAnchor.RIGHT == anchor) {
else if (ToolWindowAnchor.RIGHT == myAnchor) {
myRightStripe.removeButton(myButton);
}
else {
LOG.error("unknown anchor: " + anchor);
LOG.error("unknown anchor: " + myAnchor);
}
validate();
repaint();