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

Platform: OS X scrollbars (incorrectly calculated indents fixed)

Browse Source
This commit is contained in:
Anton Makeev
2014-03-14 16:44:33 +01:00
parent ff2ecb3b12
commit cb0037f171
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
+1 -3
View File
@@ -223,9 +223,7 @@ public class JBScrollPane extends JScrollPane {
viewport.setBounds(viewportBounds);
Insets insets = container.getInsets();
if (insets == null) insets = new Insets(0, 0, 0, 0);
layeredPane.setBounds(insets.left, insets.top,
container.getWidth() - insets.right - insets.left,
container.getHeight() - insets.top - insets.bottom);
layeredPane.setBounds(0, 0, container.getWidth() - insets.right, container.getHeight() - insets.bottom);
}
private static boolean shouldExtendViewportUnderScrollbar(@Nullable JScrollBar scrollbar) {