From 3807abc2ade0119042133d551fb4bb75a8f50324 Mon Sep 17 00:00:00 2001
From: Gabriel Dehame <gabrieldehame@gmail.com>
Date: Fri, 3 Mar 2023 21:42:28 +0100
Subject: [PATCH] =?UTF-8?q?correction=20de=20taille=20des=20trac=C3=A9s?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/Map.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Map.js b/src/Map.js
index e197b4b..e98fc54 100644
--- a/src/Map.js
+++ b/src/Map.js
@@ -218,7 +218,7 @@ function list_polygons(request, center, callbackRoomSelected, selectedRoom, call
       // only works for third floor)
       // It also changes the objects into lists of two coordinates to make it accepted by the "positions" attribute of
       // the "Polygon" react-leaflet component
-      return [-(pt["y"] - center[1]) / 25, (pt["x"] - center[0]) / 25];
+      return [-(pt["y"] - center[1]) / 6, (pt["x"] - center[0]) / 6];
     });
     const pol = newPolygon(element, positions, selectedRoom, callbackRoomSelected, callbackChangeFloor);
     polygons = [...polygons, pol];