Andreas Hocevar 38b12d3149 Make map's deviceOptions map options ...

This removes the map's deviceOptions config option, and instead
introduces loadTilesWhileAnimating and loadTilesWhileInteracting map
options. By default, both are false now, to make zooming and panning
smoother on most devices.

2014-12-21 12:03:28 +01:00

5.1 KiB

Raw Blame History

View Raw