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