allow correcting file transfer data if no files were received

src/Model/Utility/utility.ts

@@ -335,64 +335,64 @@ export function implementPinchZoom(canvas: HTMLElement) {
     }
 
     canvas.addEventListener("touchstart", (event: TouchEvent) => {
-	(document.activeElement as HTMLElement).blur();
+        (document.activeElement as HTMLElement).blur();
 
-	if (lastElement != undefined && lastElement != element()) reset();
-	lastElement = element();
+        if (lastElement != undefined && lastElement != element()) reset();
+        lastElement = element();
 
-	initialZoom = currentZoom;
-	initialX = currentX;
-	initialY = currentY;
+        initialZoom = currentZoom;
+        initialX = currentX;
+        initialY = currentY;
 
-	if (event.touches.length != 2) {
-	    pinching = false;
-	    initialTouchX = event.touches[0].clientX;
-	    initialTouchY = event.touches[0].clientY;
-	    return;
-	}
+        if (event.touches.length != 2) {
+            pinching = false;
+            initialTouchX = event.touches[0].clientX;
+            initialTouchY = event.touches[0].clientY;
+            return;
+        }
 
-	pinching = true;
-	initialDistance = distance(event);
-	initialTouchX = midpoint(event, "x");
-	initialTouchY = midpoint(event, "y");
+        pinching = true;
+        initialDistance = distance(event);
+        initialTouchX = midpoint(event, "x");
+        initialTouchY = midpoint(event, "y");
     });
     canvas.addEventListener("touchmove", (event: TouchEvent) => {
-	if (!pinching) {
-	    apply(currentZoom, [
-		initialX +
-		(event.touches[0].clientX - initialTouchX) / initialZoom,
-		initialY +
-		(event.touches[0].clientY - initialTouchY) / initialZoom,
-	    ]);
-	    return;
-	}
-	if (event.touches.length < 2) return;
-	event.preventDefault();
-	const currentDistance = distance(event);
-	const midX = midpoint(event, "x");
-	const midY = midpoint(event, "y");
-	const ratio = currentDistance / initialDistance;
-	const difference = currentDistance - initialDistance;
-	apply(initialZoom * ratio, [
-	    initialX + (midX - difference - initialTouchX) / initialZoom,
-	    initialY + (midY - difference - initialTouchY) / initialZoom,
-	]);
+        if (!pinching) {
+            apply(currentZoom, [
+                initialX +
+                    (event.touches[0].clientX - initialTouchX) / initialZoom,
+                initialY +
+                    (event.touches[0].clientY - initialTouchY) / initialZoom,
+            ]);
+            return;
+        }
+        if (event.touches.length < 2) return;
+        event.preventDefault();
+        const currentDistance = distance(event);
+        const midX = midpoint(event, "x");
+        const midY = midpoint(event, "y");
+        const ratio = currentDistance / initialDistance;
+        const difference = currentDistance - initialDistance;
+        apply(initialZoom * ratio, [
+            initialX + (midX - difference - initialTouchX) / initialZoom,
+            initialY + (midY - difference - initialTouchY) / initialZoom,
+        ]);
     });
     canvas.addEventListener("wheel", (event: WheelEvent) => {
-	event.preventDefault();
-	if (!event.shiftKey) {
-	    apply(currentZoom, [
-		currentX - event.deltaX,
-		currentY - event.deltaY,
-	    ]);
-	    return;
-	}
-	apply(currentZoom + (event.deltaY < 0 ? 1 : -1) * 0.1, [
-	    initialX,
-	    initialY,
-	]);
+        event.preventDefault();
+        if (!event.shiftKey) {
+            apply(currentZoom, [
+                currentX - event.deltaX,
+                currentY - event.deltaY,
+            ]);
+            return;
+        }
+        apply(currentZoom + (event.deltaY < 0 ? 1 : -1) * 0.1, [
+            initialX,
+            initialY,
+        ]);
     });
     canvas.addEventListener("scroll", (event: MouseEvent) => {
-	event.preventDefault();
+        event.preventDefault();
     });
 }