home *** CD-ROM | disk | FTP | other *** search
- import java.awt.Color;
- import java.awt.Component;
- import java.awt.Container;
- import java.awt.Dimension;
- import java.awt.Graphics;
- import java.awt.GridLayout;
- import java.awt.Insets;
- import java.awt.Panel;
-
- class RFramedArea extends Panel {
- public RFramedArea(RectangleDemo var1) {
- ((Container)this).setLayout(new GridLayout(1, 0));
- ((Container)this).add(new SelectionArea(var1));
- ((Container)this).validate();
- }
-
- public Insets insets() {
- return new Insets(4, 4, 5, 5);
- }
-
- public void paint(Graphics var1) {
- Dimension var2 = ((Component)this).size();
- Color var3 = ((Component)this).getBackground();
- var1.setColor(var3);
- var1.draw3DRect(0, 0, var2.width - 1, var2.height - 1, true);
- var1.draw3DRect(3, 3, var2.width - 7, var2.height - 7, false);
- }
- }
-