¿Cómo puedo girar un mapa con Leaflet?

Question

¿Cómo rotar el mapa utilizando el folleto? Estuve probando aquí, pero no funcionó nada. Seguí este tutorial, aunque era de la mapbox, supuse que era útil:

https://www.mapbox.com/mapbox-gl-js/example/navigation/

El error es:

Uncaught TypeError: t.addTo is not a function
    at e.addControl (leaflet.js:5)
    at HTMLDocument.<anonymous> (index.html:85)

Y en mi código, simplemente añado

<script src='https://api.tiles.mapbox.com/mapbox-gl-js/v0.42.2/mapbox-gl.js'></script>

Y

map.addControl(new mapboxgl.NavigationControl());

Yo también lo intento http://labs.easyblog.it/maps/leaflet-compass pero no se puede utilizar para rotar el mapa. ¿Cómo puedo girar el mapa?

Answer 1

Así que me encontré con el mismo problema y, después de algunas investigaciones, encontré este comentario en el tablero de problemas de Github del folleto. Parece que la funcionalidad no existe.