private void drawMark(Graphics g, Polygon r) {
g.setColor(Color.black);
Rectangle rr = r.getBoundingBox();
rr.x += 3;
rr.y += 3;
rr.height -= 5;
rr.width -= 6;
drawRect(g, rr.x, rr.y, rr.width, rr.height);
}
private Polygon justPolygon(Polygon p, boolean isTop) {
Polygon p2 = new Polygon();
Rectangle r = p.getBoundingBox();
int x, y, i;
for (i = 0; i < p.npoints; ++i) {
x = p.xpoints[i];
if (p.xpoints[i] >= r.x + r.width - 1) x = p.xpoints[i] - 1;
if (p.xpoints[i] == r.x) x = p.xpoints[i] + 2;
y = p.ypoints[i];
if (!isTop && p.ypoints[i] >= r.y + r.height - 1) y = p.ypoints[i] - 1;
if (isTop && p.ypoints[i] == r.y) y = p.ypoints[i] + 2;
p2.addPoint(x, y);
}
return p2;
}
