3 class BorderPanel extends Panel
5 int border = 5; // size of border
6 Color col1 = Util.light_edge;
7 Color col2 = Util.dark_edge;
19 BorderPanel(int w, Color cb)
25 BorderPanel(int w, Color c1, Color c2)
31 BorderPanel(int w, Color c1, Color c2, Color cb)
34 col1 = c1; col2 = c2; body = cb;
37 BorderPanel(Color c1, Color c2)
42 public Insets insets()
44 return new Insets(border+2, border+2, border+2, border+2);
47 public void paint(Graphics g)
51 g.fillRect(0, 0, size().width, size().height);
54 int w = size().width-1, h = size().height-1;
56 for(int i=0; i<border; i++) {
57 g.drawLine(i,i,w-i,i);
58 g.drawLine(i,i,i,h-i);
61 for(int i=0; i<border; i++) {
62 g.drawLine(w-i,h-i, w-i,i);
63 g.drawLine(w-i,h-i, i,h-i);