Get current zooming factor
What is the script for getting current zooming factor of the GeoGebra view?
Background: in the example of snapping a point to other object or point, the boolean (distance() < 0.1) triggers snapping the point through DynamicCoordinates. How can we set 0.1 to be a number proportional to the zooming factor, such that when the object is zoomed in, the same amount of "magniticy" is applied. (consider for example when you zoom in to more than distance of 0.1, what will happen when you try to get the point out of the snapping zone?)