|
1 /*************************************************************************** |
|
2 Title: awtUtilities/Border.java |
|
3 Author: Stefan Berghofer, TU Muenchen |
|
4 |
|
5 This class defines a nice 3D border. |
|
6 ***************************************************************************/ |
|
7 |
|
8 package awtUtilities; |
|
9 |
|
10 import java.awt.*; |
|
11 |
|
12 public class Border extends Panel { |
|
13 int bs; |
|
14 |
|
15 public Insets getInsets() { |
|
16 return new Insets(bs*3/2,bs*3/2,bs*3/2,bs*3/2); |
|
17 } |
|
18 |
|
19 public Border(Component comp,int s) { |
|
20 setLayout(new GridLayout(1,1)); |
|
21 add(comp); |
|
22 bs=s; |
|
23 } |
|
24 |
|
25 public void paint(Graphics g) { |
|
26 int w = getSize().width; |
|
27 int h = getSize().height; |
|
28 int x1[]={0,bs,w-bs,w}, y1[]={0,bs,bs,0}; |
|
29 int x2[]={w,w-bs,w-bs,w}, y2[]={0,bs,h-bs,h}; |
|
30 int y3[]={h,h-bs,h-bs,h}; |
|
31 |
|
32 g.setColor(new Color(224,224,224)); |
|
33 g.fillPolygon(y1,y2,4); |
|
34 g.fillPolygon(x1,y1,4); |
|
35 g.setColor(Color.gray); |
|
36 g.fillPolygon(x2,y2,4); |
|
37 g.fillPolygon(x1,y3,4); |
|
38 } |
|
39 } |