(double x, double y)
| 2732 | } |
| 2733 | |
| 2734 | public void setRotationCenter(double x, double y) { |
| 2735 | xcenter = x; |
| 2736 | ycenter = y; |
| 2737 | } |
| 2738 | |
| 2739 | /** Returns the number of points in this selection; equivalent to getFloatPolygon().npoints. */ |
| 2740 | public int size() { |