+
+ if (updateVisibilities) {
+ updateVisibilities = false;
+ // update vertex visibilities
+ updateVisibility(gl);
+ }
+
+ if (updateClosest) {
+ updateClosest = false;
+ double dist = Double.MAX_VALUE;
+ double distE = Double.MAX_VALUE;
+ closest = null;
+ closestOriginallyAt = null;
+ closestEdge = null;
+ for(Mesh mesh : meshes)
+ if (mesh.option_selectable)
+ for(Mesh.Vertex v : mesh.vertices()) {
+ if (!v.visible) continue;
+ Point p = projection.times(v.getPoint());
+ int x = (int)p.x;
+ int y = (int)p.y;
+ int mousex = (int)getMouse().x;
+ int mousey = (int)getMouse().y;
+ if (closest==null || (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey) < dist) {
+ dist = (x-mousex)*(x-mousex)+(y-mousey)*(y-mousey);
+ closest = v;
+ }
+ for(Mesh.E e = v.e; e!=null; e=e.pair.next==v.e?null:e.pair.next) {
+ if (!e.v2.visible) continue;
+ Segment s =
+ new Segment(projection.times(e.v1.getPoint()),
+ projection.times(e.v2.getPoint()));
+ double dist2 = s.distance(getMouse());
+ if (dist2 < distE) {
+ distE = dist2;
+ closestEdge = e;
+ }
+ }
+ }
+ }