public static void drawPoint(double x, double y) {
DrawObject p = new DrawObject();
p.color = pointColor;
p.x = x;
p.y = y;
p.diameter = pointDiameter;
p.sequenceNum = currentSequenceNum;
if (animationMode) {
synchronized (animPoints) {
animPoints.add(p);
}
} else {
synchronized (points) {
points.add(p);
}
}
drawArea.repaint();
}
