public void paintBorder(Component c,
Graphics g,
int x,
int y,
int w,
int h) {
JScrollPane scroll = (JScrollPane)c;
JComponent colHeader = scroll.getColumnHeader();
int colHeaderHeight = 0;
if (colHeader != null)
colHeaderHeight = colHeader.getHeight();
JComponent rowHeader = scroll.getRowHeader();
int rowHeaderWidth = 0;
if (rowHeader != null)
rowHeaderWidth = rowHeader.getWidth();
g.translate( x, y);
g.setColor( MetalLookAndFeel.getControlDarkShadow() );
g.drawRect( 0, 0, w-2, h-2 );
g.setColor( MetalLookAndFeel.getControlHighlight() );
g.drawLine( w-1, 1, w-1, h-1);
g.drawLine( 1, h-1, w-1, h-1);
g.setColor( MetalLookAndFeel.getControl() );
g.drawLine( w-2, 2+colHeaderHeight, w-2, 2+colHeaderHeight );
g.drawLine( 1+rowHeaderWidth, h-2, 1+rowHeaderWidth, h-2 );
g.translate( -x, -y);
}
|