/*
* @(#)Group.java 1.2 02/08/21
*
* Copyright (c) 1996-2002 Sun Microsystems, Inc. All rights reserved.
*/
package com.sun.media.ui;
import java.awt.*;
public class Group extends Container {
public Group() {
this(null, 0);
}
public Group(LayoutManager layout) {
this(layout, 0);
}
public Group(LayoutManager layout, int border) {
setLayout(layout);
this.border = border;
}
public void paint(Graphics g) {
Dimension size = getSize();
super.paint(g);
if (border > 0) {
g.setColor(getBackground());
g.drawRect(0, 0, size.width - 1, size.height - 1);
g.draw3DRect(border - 2, border - 2,
size.width - 1 - 2 * (border - 2),
size.height - 1 - 2 * (border - 2), false);
}
}
public Insets getInsets() {
return new Insets(border, border, border, border);
}
protected int border;
}
|