// PDPoint.java   -- a special markable point for the PolyDraw program.

import java.awt.*;

public class PDPoint extends Point {
    public boolean selected;
    private static final int r = 5;

    PDPoint(int anX, int aY) {
	super(anX, aY);
	selected = false;
    }
    public void mark() {
	selected = true;
    }
    public void unmark() {
	selected = false;
    }
    public void paint(Graphics g) {
	if (selected) {
	    g.fillOval(x - r, y - r, r+r, r+r);
	}
    }
}