Using defaultRobotzoom if available

Signed-off-by: angatupyry <fierrofenix@gmail.com>
open-rmf · Aug 30, 2023 · 7ff84c6 · 7ff84c6
1 parent d362c54
commit 7ff84c6
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/packages/dashboard/src/components/map-app.tsx b/packages/dashboard/src/components/map-app.tsx
@@ -45,6 +45,7 @@ const SettingsKey = 'mapAppSettings';
 const colorManager = new ColorManager();
 
 const DEFAULT_ZOOM_LEVEL = 5;
+const DEFAULT_ROBOT_ZOOM_LEVEL = 6;
 
 function getRobotId(fleetName: string, robotName: string): string {
   return `${fleetName}/${robotName}`;
@@ -372,10 +373,10 @@ export const MapApp = styled(
         const mapCoords = fromRmfCoords(robotLocation);
         const newCenter: L.LatLngTuple = [mapCoords[1], mapCoords[0]];
         AppEvents.mapCenter.next(newCenter);
-        AppEvents.zoom.next(6);
+        AppEvents.zoom.next(resourceManager?.defaultRobotZoom ?? DEFAULT_ROBOT_ZOOM_LEVEL);
       });
       return () => sub.unsubscribe();
-    }, [robotLocations, bounds]);
+    }, [robotLocations, bounds, resourceManager?.defaultRobotZoom]);
 
     const onViewportChanged = (viewport: Viewport) => {
       if (viewport.zoom && viewport.center) {