Update app.py

app.py

@@ -177,15 +177,24 @@ if uploaded_file is not None:
     ISDs_with_one = ISD_Combined[ISD_Combined['Count'] == 1]
     if not ISDs_with_one.empty:
         st.write("ISDs:")
-        # st.dataframe(ISDs_with_one[['ISD', 'ISD Code']])
         st.dataframe(ISDs_with_one[['ISD', 'ISD Code']].reset_index(drop=True))
         
         # Informing the user about the total number of ISD with a count of 1
         total_ISDs_with_one = len(ISDs_with_one)
         st.write(f"Total number of ISD: {total_ISDs_with_one}")
+    
+        # Convert DataFrame to CSV for the download button
+        csv = ISDs_with_one.to_csv(index=False).encode('utf-8')
+        st.download_button(
+            label="Download ISDs to Verify",
+            data=csv,
+            file_name="ISD_List_to_Verify.csv",
+            mime="text/csv",
+            key='download-csv'
+        )
     else:
-        st.write("No ISD have a count of 1.")
-            
+        st.write("No ISDs")
+
     # call to render Folium map in Streamlit
     st_data = st_folium(m, width=725)
     
@@ -198,6 +207,7 @@ if uploaded_file is not None:
                     label="Download Map as HTML",
                     data=file,
                     file_name="District_Map.html",
-                    mime="text/html"
+                    mime="text/html",
+                    type="primary"
                 )