From 6ad3ff9b97e98fcda2b53c6692200f8a2e19dee7 Mon Sep 17 00:00:00 2001
From: Justin Lentz <monkeybrains7@gmail.com>
Date: Tue, 8 Aug 2023 04:36:23 -0500
Subject: [PATCH] change leaflet.default_zoom to Float (#15207)

Leaflet accepts float for default zoom.
---
 misc/config_definitions.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/config_definitions.json b/misc/config_definitions.json
index 740fbefe99..45426128ee 100644
--- a/misc/config_definitions.json
+++ b/misc/config_definitions.json
@@ -4052,7 +4052,7 @@
         },
         "leaflet.default_zoom": {
             "default": 2,
-            "type": "integer"
+            "type": "float"
         },
         "leaflet.group_radius": {
             "default": 10,