fix: inline Leaflet CSS/JS into gr.HTML value (Gradio 5 has no 'head'/'js_on_load' params)

app.py

@@ -120,16 +120,8 @@ def save_tensor_as_geotiff(tensor, attrs, out_path, super_resolved=False, sr_fac
 DEFAULT_LAT = 39.39785676571274
 DEFAULT_LON = -0.3798517619438821
 
-LEAFLET_HEAD = """
-<link
-    rel="stylesheet"
-    href="https://unpkg.com/leaflet@1.9.4/dist/leaflet.css"
-/>
-
-<script
-    src="https://unpkg.com/leaflet@1.9.4/dist/leaflet.js">
-</script>
-"""
+# LEAFLET_HEAD removed — Gradio 5 gr.HTML does not support 'head'.
+# Leaflet CSS/JS are inlined into MAP_HTML_VALUE below.
 
 
 # ============================================================
@@ -369,6 +361,24 @@ MAP_JS = MAP_JS.replace(
     str(DEFAULT_LON)
 )
 
+# ============================================================
+# COMPLETE MAP HTML
+# Gradio 5 gr.HTML has no 'head' or 'js_on_load' parameters.
+# Inline Leaflet CSS, Leaflet JS, the map div, and the init
+# script all inside the value string.
+# ============================================================
+MAP_HTML_VALUE = f"""
+<link rel="stylesheet"
+      href="https://unpkg.com/leaflet@1.9.4/dist/leaflet.css" />
+<script src="https://unpkg.com/leaflet@1.9.4/dist/leaflet.js"></script>
+<div id="terrativision-map"
+     style="width:100%;height:400px;border-radius:14px;
+            overflow:hidden;border:1px solid rgba(128,128,128,0.35);"></div>
+<script>
+{MAP_JS}
+</script>
+"""
+
 
 # ============================================================
 # CUSTOM CSS
@@ -924,15 +934,9 @@ with gr.Blocks(
             # ------------------------------------------------
 
             map_html = gr.HTML(
-
-                # Value now contains the div that Leaflet will target
-                value='<div id="terrativision-map"></div>',
-
-                head=LEAFLET_HEAD,
-
-                js_on_load=MAP_JS,
-
-                # elem_id for the wrapping gr.HTML component itself
+                # Leaflet CSS/JS + map div + init script all inlined.
+                # Gradio 5 gr.HTML does not support 'head' or 'js_on_load'.
+                value=MAP_HTML_VALUE,
                 elem_id="map-container-wrapper"
             )