file/BorderPanel.java

   1 import java.awt.*;
   2
   3 class BorderPanel extends Panel
   4 {
   5         int border = 5; // size of border
   6         Color col1 = Util.light_edge;
   7         Color col2 = Util.dark_edge;
   8         Color body;
   9
  10         BorderPanel()
  11         {
  12         }
  13
  14         BorderPanel(int w)
  15         {
  16         border = w;
  17         }
  18
  19         BorderPanel(int w, Color cb)
  20         {
  21         border = w;
  22         body = cb;
  23         }
  24
  25         BorderPanel(int w, Color c1, Color c2)
  26         {
  27         border = w;
  28         col1 = c1; col2 = c2;
  29         }
  30
  31         BorderPanel(int w, Color c1, Color c2, Color cb)
  32         {
  33         border = w;
  34         col1 = c1; col2 = c2; body = cb;
  35         }
  36
  37         BorderPanel(Color c1, Color c2)
  38         {
  39         col1 = c1; col2 = c2;
  40         }
  41
  42         public Insets insets()
  43         {
  44         return new Insets(border+2, border+2, border+2, border+2);
  45         }
  46
  47         public void paint(Graphics g)
  48         {
  49         if (body != null) {
  50                 g.setColor(body);
  51                 g.fillRect(0, 0, size().width, size().height);
  52                 }
  53         super.paint(g);
  54         int w = size().width-1, h = size().height-1;
  55         g.setColor(col1);
  56         for(int i=0; i<border; i++) {
  57                 g.drawLine(i,i,w-i,i);
  58                 g.drawLine(i,i,i,h-i);
  59                 }
  60         g.setColor(col2);
  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);
  64                 }
  65         }
  66 }
  67