Closed PedroBlanco closed 2 years ago
He localizado unas cuantas capas GeoJSON de las cuales extraer lugares y coordenadas:
Habría que extraer únicamente los lugares que faltan en las capas de etiquetas que estamos usando.
Mirar en el ejemplo la inclusión de diferentes capas (según se menciona al final):
Se ha añadido una capa del IGN con una toponimía más completa y en castellano.
Hay capitales de provincia y ciudades grandes cuyo nombre que no aparece en la capa Toner de Stamen a ningún nivel de zoom.
Buscar una capa apropiada en https://leaflet-extras.github.io/leaflet-providers/preview/