Fixes #8: image ROI extraction now supports pixel size

Author: PierreRaybaut

CHANGELOG.md

@@ -9,10 +9,13 @@ for future and past milestones.
 
 * Region of interest (ROI) extraction feature for images:
   * ROI extraction was not working properly when the "Extract all regions of interest
-    into a single image object" option was enabled if there was only one defined ROI
-  * The result was an image positioned at the origin (0, 0) instead of the expected
-    position (x0, y0) and the ROI rectangle itself was not removed as expected
-  * [Issue #6](https://github.com/Codra-Ingenierie-Informatique/DataLab/issues/6) - 'Extract multiple ROI' feature: unexpected result for a single ROI
+    into a single image object" option was enabled if there was only one defined ROI.
+    The result was an image positioned at the origin (0, 0) instead of the expected
+    position (x0, y0) and the ROI rectangle itself was not removed as expected.
+    This is now fixed (see [Issue #6](https://github.com/Codra-Ingenierie-Informatique/DataLab/issues/6) - 'Extract multiple ROI' feature: unexpected result for a single ROI)
+  * ROI extraction was not taking into account the pixel size (dx, dy) and the origin
+    (x0, y0) of the image.
+    This is now fixed (see [Issue #8](https://github.com/Codra-Ingenierie-Informatique/DataLab/issues/8) - Image ROI extraction: take into account pixel size)
 * Macro-command console is now read-only:
   * The macro-command panel Python console is currently not supporting standard input
     stream (`stdin`) and this is intended (at least for now)

cdl/core/computation/image/__init__.py

@@ -536,8 +536,8 @@ def extract_multiple_roi(src: ImageObj, group: gds.DataSetGroup) -> ImageObj:
         p = group.datasets[0]
         suffix = p.get_suffix()
     dst = dst_11(src, "extract_multiple_roi", suffix)
-    dst.x0 += x0
-    dst.y0 += y0
+    dst.x0 += x0 * src.dx
+    dst.y0 += y0 * src.dy
     dst.roi = None
     if len(group.datasets) == 1:
         p = group.datasets[0]
@@ -561,8 +561,8 @@ def extract_single_roi(src: ImageObj, p: gds.DataSet) -> ImageObj:
     """
     dst = dst_11(src, "extract_single_roi", p.get_suffix())
     dst.data = src.data.copy()[p.y0 : p.y1, p.x0 : p.x1]
-    dst.x0 += p.x0
-    dst.y0 += p.y0
+    dst.x0 += p.x0 * src.dx
+    dst.y0 += p.y0 * src.dy
     dst.roi = None
     if p.geometry is RoiDataGeometries.CIRCLE:
         # Circular ROI