lib/browser/awtUtilities/Border.java

* Isar/Pure: proper integration with ``locales''; unlike the original
version by Florian Kammueller, Isar locales package high-level proof
contexts rather than raw logical ones (e.g. we admit to include
attributes everywhere);
* Isar/Pure: theory goals now support ad-hoc contexts, which are
discharged in the result, as in ``lemma (assumes A and B) K: A .'';
syntax coincides with that of a locale body;

/***************************************************************************
  Title:      awtUtilities/Border.java
  ID:         $Id$
  Author:     Stefan Berghofer, TU Muenchen
  Copyright   1997  TU Muenchen

  This class defines a nice 3D border.
***************************************************************************/

package awtUtilities;

import java.awt.*;

public class Border extends Panel {
	int bs;

	public Insets getInsets() {
		return new Insets(bs*3/2,bs*3/2,bs*3/2,bs*3/2);
	}

	public Border(Component comp,int s) {
		setLayout(new GridLayout(1,1));
		add(comp);
		bs=s;
	}

	public void paint(Graphics g) {
		int w = getSize().width;
		int h = getSize().height;
		int x1[]={0,bs,w-bs,w}, y1[]={0,bs,bs,0};
		int x2[]={w,w-bs,w-bs,w}, y2[]={0,bs,h-bs,h};
		int y3[]={h,h-bs,h-bs,h};

		g.setColor(new Color(224,224,224));
		g.fillPolygon(y1,y2,4);
		g.fillPolygon(x1,y1,4);
		g.setColor(Color.gray);
		g.fillPolygon(x2,y2,4);
		g.fillPolygon(x1,y3,4);
	}
}