Translate points in display coordinate space gap

This contribution fixes the current behaviour of the display coordinate
system of eclipse where a point can be manually set to somewhere in the
gap between the 2 monitor in the coordinate space (in the points
system). This fix translates those points to inside the scaled down
space of a monitor providing it the right coordinates in the display
coordinate space.

contributes to #62 and #127

Author: amartya4256

bundles/org.eclipse.swt/Eclipse SWT/win32/org/eclipse/swt/widgets/Display.java

@@ -3006,7 +3006,8 @@ public Point map (Control from, Control to, int x, int y) {
 	checkDevice ();
 	Point mappedPointInPoints;
 	if (from == null) {
-		Point mappedPointInpixels = mapInPixels(from, to, getPixelsFromPoint(to.getShell().getMonitor(), x, y));
+		Point translatedPoint = translatePointIfInDisplayCoordinateGap(x, y);
+		Point mappedPointInpixels = mapInPixels(from, to, getPixelsFromPoint(to.getShell().getMonitor(), translatedPoint.x, translatedPoint.y));
 		mappedPointInPoints = DPIUtil.scaleDown(mappedPointInpixels, to.getZoom());
 	} else if (to == null) {
 		Point mappedPointInpixels = mapInPixels(from, to, DPIUtil.scaleUp(new Point(x, y), from.getZoom()));
@@ -3119,7 +3120,8 @@ public Rectangle map (Control from, Control to, int x, int y, int width, int hei
 	checkDevice ();
 	Rectangle mappedRectangleInPoints;
 	if (from == null) {
-		Rectangle mappedRectangleInPixels = mapInPixels(from, to, translateRectangleInPixelsInDisplayCoordinateSystem(x, y, width, height, to.getShell().getMonitor()));
+		Point translatedPoint = translatePointIfInDisplayCoordinateGap(x, y);
+		Rectangle mappedRectangleInPixels = mapInPixels(from, to, translateRectangleInPixelsInDisplayCoordinateSystem(translatedPoint.x, translatedPoint.y, width, height, to.getShell().getMonitor()));
 		mappedRectangleInPoints = DPIUtil.scaleDown(mappedRectangleInPixels, to.getZoom());
 	} else if (to == null) {
 		Rectangle mappedRectangleInPixels = mapInPixels(from, to, DPIUtil.scaleUp(new Rectangle(x, y, width, height), from.getZoom()));
@@ -3147,8 +3149,9 @@ Rectangle mapInPixels (Control from, Control to, int x, int y, int width, int he
 }
 
 Point translateLocationInPixelsInDisplayCoordinateSystem(int x, int y) {
-	Monitor monitor = getContainingMonitor(x, y);
-	return getPixelsFromPoint(monitor, x, y);
+	Point translatedPoint = translatePointIfInDisplayCoordinateGap(x, y);
+	Monitor monitor = getContainingMonitor(translatedPoint.x, translatedPoint.y);
+	return getPixelsFromPoint(monitor, translatedPoint.x, translatedPoint.y);
 }
 
 Point translateLocationInPointInDisplayCoordinateSystem(int x, int y) {
@@ -3157,9 +3160,10 @@ Point translateLocationInPointInDisplayCoordinateSystem(int x, int y) {
 }
 
 Rectangle translateRectangleInPixelsInDisplayCoordinateSystemByContainment(int x, int y, int width, int height) {
-	Monitor monitorByLocation = getContainingMonitor(x, y);
-	Monitor monitorByContainment = getContainingMonitor(x, y, width, height);
-	return translateRectangleInPixelsInDisplayCoordinateSystem(x, y, width, height, monitorByLocation, monitorByContainment);
+	Point translatedPoint = translatePointIfInDisplayCoordinateGap(x, y);
+	Monitor monitorByLocation = getContainingMonitor(translatedPoint.x, translatedPoint.y);
+	Monitor monitorByContainment = getContainingMonitor(translatedPoint.x, translatedPoint.y, width, height);
+	return translateRectangleInPixelsInDisplayCoordinateSystem(translatedPoint.x, translatedPoint.y, width, height, monitorByLocation, monitorByContainment);
 }
 
 private Rectangle translateRectangleInPixelsInDisplayCoordinateSystem(int x, int y, int width, int height, Monitor monitor) {
@@ -5459,14 +5463,25 @@ private boolean setDPIAwareness(int desiredDpiAwareness) {
 }
 
 private Monitor getContainingMonitor(int x, int y) {
+	return getContainingMonitorOptional(x, y).orElse(getPrimaryMonitor());
+}
+
+private Optional<Monitor> getContainingMonitorOptional(int x, int y) {
 	Monitor[] monitors = getMonitors();
 	for (Monitor currentMonitor : monitors) {
 		Rectangle clientArea = currentMonitor.getClientArea();
 		if (clientArea.contains(x, y)) {
-			return currentMonitor;
+			return Optional.of(currentMonitor);
 		}
 	}
-	return getPrimaryMonitor();
+	return Optional.empty();
+}
+
+Point translatePointIfInDisplayCoordinateGap(int x, int y) {
+	if(getContainingMonitorOptional(x, y).isEmpty() && getContainingMonitorInPixelsCoordinateOptional(x, y).isPresent()) {
+		return translateLocationInPointInDisplayCoordinateSystem(x, y);
+	}
+	return new Point(x, y);
 }
 
 private Monitor getContainingMonitor(int x, int y, int width, int height) {
@@ -5487,14 +5502,18 @@ private Monitor getContainingMonitor(int x, int y, int width, int height) {
 }
 
 private Monitor getContainingMonitorInPixelsCoordinate(int xInPixels, int yInPixels) {
+	return getContainingMonitorInPixelsCoordinateOptional(xInPixels, yInPixels).orElse(getPrimaryMonitor());
+}
+
+private Optional<Monitor> getContainingMonitorInPixelsCoordinateOptional(int xInPixels, int yInPixels) {
 	Monitor[] monitors = getMonitors();
 	for (Monitor current : monitors) {
 		Rectangle clientArea = getMonitorClientAreaInPixels(current);
 		if (clientArea.contains(xInPixels, yInPixels)) {
-			return current;
+			return Optional.of(current);
 		}
 	}
-	return getPrimaryMonitor();
+	return Optional.empty();
 }
 
 private Rectangle getMonitorClientAreaInPixels(Monitor monitor) {