Leaflet maps updates
This ticket is to focus on our Maps implementation and include suggestions from @crabil (please add your comments below if I forgot something).
Downloading the big image
- Rename "Scale" label to "Image scale factor". Change the input to a dropdown with
<option value="1">1x
,<option value="2">2x
,<option value="3">4x
. Make sure that the function to generate the image never accepts scale > 3. - Users have a tendency to double-click. Please disable the "Download" link when clicked, so that image generation cannot be triggered twice, and re-enable it after the big image is generated.
- There is a possibility that Genesys responds to a tile request with a too many requests error. In this case, the tile should be re-downloaded. If this does not work out, then we will need to slow down the loading of images somehow else.
Map scale legend
Use https://github.com/nerik/leaflet-graphicscale or https://github.com/daniellsu/leaflet-betterscale.
Ideally, the map scale is also rendered when downloading the big image.
North pointer
https://stackoverflow.com/questions/22325460/how-can-i-add-a-north-arrow-to-a-leaflet-js-map
Ideally, the north pointer is also rendered when downloading the big image.