我有一個(gè)地方當(dāng)局的 geoJSON 文件和同一張 Folium 地圖上顯示的其他幾個(gè)圖層。我希望用戶選擇一個(gè)多邊形（地方當(dāng)局之一），然后打開其他圖層。我希望將這些圖層剪切到用戶選擇的多邊形。地圖快照。我假設(shè) geopandas 會進(jìn)行裁剪，但我無法集中精力選擇多邊形以及如何對其進(jìn)行分析。這對于 Folium 來說是可能的，還是需要與 javascript 結(jié)合起來完成？我并不期待確切的代碼示例，但如果有人能指出我正確的方向，我將不勝感激。