**mapbox-gl-js version**: 1.3.1 **browser**: * Why scale control uses different earth radius than mercator projection code? Is this ok? https://github.com/mapbox/mapbox-gl-js/blob/2020f3f9ced516086508925411bd098fbb4c3234/src/ui/control/scale_control.js#L130 https://github.com/mapbox/mapbox-gl-js/blob/2020f3f9ced516086508925411bd098fbb4c3234/src/geo/mercator_coordinate.js#L9
mapbox-gl-js version: 1.3.1
browser: *
Why scale control uses different earth radius than mercator projection code? Is this ok?
mapbox-gl-js/src/ui/control/scale_control.js
Line 130 in 2020f3f
mapbox-gl-js/src/geo/mercator_coordinate.js
Line 9 in 2020f3f