From f709351b272d43dd21e8dcd72db1375fc60cc0d1 Mon Sep 17 00:00:00 2001 From: dleshchev Date: Tue, 2 Jul 2024 16:27:41 -0400 Subject: [PATCH] added rounding to the polygon ROI coordinates --- pilatus_tools/widgets/widget_pilatus.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pilatus_tools/widgets/widget_pilatus.py b/pilatus_tools/widgets/widget_pilatus.py index 90bf51d..66e636a 100644 --- a/pilatus_tools/widgets/widget_pilatus.py +++ b/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