mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IJPL-525 fix for issue with overlapping vertical scroll bar and TrafficLight button
GitOrigin-RevId: efe52f2f0d6fb8a8a9286cca9419d18339dcb7a4
This commit is contained in:
committed by
intellij-monorepo-bot
parent
a94069ddc9
commit
4bd4317c22
@@ -5640,6 +5640,10 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
|
||||
// Status component: NonOpaquePanel
|
||||
Dimension d = c.getPreferredSize();
|
||||
c.setBounds(r.width - d.width, 0, d.width, d.height);
|
||||
MyScrollBar vsb = myVerticalScrollBar;
|
||||
if (vsb.getY() != d.height) {
|
||||
vsb.setBounds(vsb.getX(), d.height, vsb.getWidth(), vsb.getHeight() - d.height);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user