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

JBScrollPane view port border fixed

Browse Source
This commit is contained in:
Kirill Kalishev
2010-07-16 16:43:57 +04:00
parent 52dd8f3339
commit 3cb1da340e
1 changed files with 27 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/JBScrollPane.java
+27 -1
View File
@@ -19,6 +19,7 @@ import com.intellij.ui.IdeBorderFactory;
import com.intellij.util.ui.ButtonlessScrollBarUI;
import javax.swing.*;
import javax.swing.border.Border;
import javax.swing.border.EmptyBorder;
import javax.swing.plaf.ScrollPaneUI;
import java.awt.*;
@@ -53,7 +54,32 @@ public class JBScrollPane extends JScrollPane {
public void setUI(ScrollPaneUI ui) {
super.setUI(ui);
setViewportBorder(new EmptyBorder(1, 1, 1, 1));
setViewportBorder(new Border() {
@Override
public void paintBorder(Component c, Graphics g, int x, int y, int width, int height) {
JViewport vp = getViewport();
if (vp != null) {
Color bg = vp.getView().getBackground();
if (bg != null) {
g.setColor(bg);
g.drawLine(0, 0, width - 1, 0);
g.drawLine(0, height - 1, width - 1, height - 1);
g.drawLine(0, 0, 0, height - 1);
g.drawLine(width - 1, 0, width - 1, height - 1);
}
}
}
@Override
public Insets getBorderInsets(Component c) {
return new Insets(1, 1, 1, 1);
}
@Override
public boolean isBorderOpaque() {
return true;
}
});
}
@Override