|
@@ -403,7 +403,6 @@ class PolygonEditor {
|
|
addUndo(prevList, newList);
|
|
addUndo(prevList, newList);
|
|
refreshSelectedEdge(new h2d.col.Point(finalPos.x, finalPos.y));
|
|
refreshSelectedEdge(new h2d.col.Point(finalPos.x, finalPos.y));
|
|
// Select new point
|
|
// Select new point
|
|
- addSelectedPoint(pt);
|
|
|
|
lastPointSelected = pt;
|
|
lastPointSelected = pt;
|
|
}
|
|
}
|
|
lastClickStamp = curStamp;
|
|
lastClickStamp = curStamp;
|