Update app.py

app.py

@@ -162,20 +162,26 @@ def run_search(country_name, state_name, categories):
         country_code = COUNTRY_CODES[idx]
     except ValueError:
         return "Invalid country", None, None, None
+
     # geocode state
     bbox = geocode_region(state_name if state_name else country_name, country_code)
     if bbox is None:
         return f"Could not geocode region '{state_name}'. Try a different subdivision or broaden to the country.", None, None, None
+
     if not categories:
         return "Please select at least one category.", None, None, None
+
     df = fetch_places(categories, bbox)
     map_html = make_map(df, center_bbox=bbox)
     csv_bytes = df_to_csv_bytes(df)
+
     elapsed = time.time() - start
     msg = f"Found {len(df)} places for {', '.join(categories)} in {state_name}, {country_name} (took {elapsed:.1f}s)."
-    # prepare downloadable link (data URI)
+
+    # 🔑 Create download link as HTML
     csv_b64 = base64.b64encode(csv_bytes).decode("utf-8")
-    csv_href = f"data:text/csv;base64,{csv_b64}"
+    csv_href = f'<a href="data:text/csv;base64,{csv_b64}" download="results.csv">📥 Download CSV</a>'
+
     return msg, df, map_html, csv_href
 
 # --- Build Gradio UI -----------------------------------------------------
@@ -197,7 +203,7 @@ with gr.Blocks() as demo:
             categories = gr.CheckboxGroup(place_options, label="Categories to search", value=["cafe","restaurant"])
             search_btn = gr.Button("Search places")
             info = gr.Textbox(label="Status", interactive=False)
-            download = gr.File(label="Download results (CSV)", interactive=False)
+            download = gr.HTML(label="Download results (CSV)")
         with gr.Column(scale=2):
             map_html_out = gr.HTML(label="Map")
             table_out = gr.Dataframe(headers=["name","amenity","lat","lon","address","osm_id"], label="Results Table")