public void visit(Node n) { Point p = nc.getPoint(n); int r = 3; c.setStrokeStyle(n.isSelected() ? "#ff0000" : "#000000"); c.strokeRect(p.x - r, p.y - r, 2 * r, 2 * r); }