TOOLAddPt, // Add point tool
TOOLAddPoly, // Polygon creation tool
TOOLDelPt, // Delete point tool
- TOOLDelPoly // Delete polygon tool
+ TOOLDelPoly, // Delete polygon tool
+ TOOLRotate, // Rotate tool
+ TOOLRotatePoly // Rotate polygon around centroid tool
};
class ToolWindow: public QWidget