Function network_save_proxy_state

Scripts/Settings.py:7186–7187

(state)

      var baseZoom = 1;
      function dist(t1, t2) {
        var dx = t1.clientX - t2.clientX;
        var dy = t1.clientY - t2.clientY;
        return Math.sqrt(dx * dx + dy * dy);
      }
      target.addEventListener('touchstart', function(event) {