/* Copyright Andy C. Deck 1999 All rights reserved. */    
import java.awt.*;

public class sizePicker extends Canvas {

drawPanel dp;
Color lightGrey = new Color(160,160,160);
Polygon p;
int width, height;

    public sizePicker(drawPanel dp,int x,int y,int width,int height){
	super();
	this.dp = dp;
	this.width = width;
	this.height= height;
	this.reshape(x,y,width,height);
	p = new Polygon();
	p.addPoint(9,1);
	p.addPoint(width,height-8);
	p.addPoint(width,1);
    }
	
    public void update(Graphics g){ 
	g.setColor(Color.darkGray);
	g.fillRect(0,0,width,height);
	paint(g); 
    }

    public void drawSizeMsg(){
	Graphics g = getGraphics();
	g.setColor(Color.darkGray);
	g.fillRect(12,60,70,20); 
        g.setColor(Color.gray);
	g.drawString(Env.size,12,80); 
   }

    public void paint(Graphics g){
		int n = dp.tSize+1;
		g.setColor(Color.darkGray);
		g.fillRect(15,34,28,20);

		g.setColor(Color.gray);
		g.fillPolygon(p);
		g.drawString((String)(new Integer(dp.tSize).toString()),15,50);
		g.drawString(Env.size,12,80);

		g.setColor(Color.lightGray);
		g.fillOval(13+n,2,n,n);
		g.setColor(lightGrey);
		g.drawOval(13+n,2,n,n);

		g.setColor(Color.black);
		g.drawLine(9,0,width,0);
		g.setColor(new Color(94,94,94));
		g.drawLine(10,2,width+1,height-7);
	}

	public boolean handleEvent(Event e){
		if(e.id==Event.MOUSE_DOWN || e.id==Event.MOUSE_DRAG){
			e.x -= 10;
			if(e.x < 1) dp.tSize=1;
			else if (e.x >190) dp.tSize=127;
			else dp.tSize=e.x-e.x/3;
			paint(getGraphics());
		}
		return true;	
	}
}