Back to version 8.1.350 fixes

Bring the ruler via a button in tools

Users can long press on the map with two fingers to bring a ruler. Handy to measure distances. But users people know about this feature: we are adding an entry in the tool menu, so that users can discover it from there.