added rounding to the polygon ROI coordinates

pilatus_tools/widgets/widget_pilatus.py

@@ -320,7 +320,7 @@ def gui_polygon_roi_coords(self):
             points = []
             for handle in obj.getHandles():
                 y, x = handle.pos()
-                points.append([x, y])
+                points.append([np.round(x, 1), np.round(y, 1)])
             output[crystal] = points
         return output