From 7710f0a3d22b1856b08f57b90101c09876f1c89c Mon Sep 17 00:00:00 2001
From: Robert Kaiser <robert@widebook.box.kairo.at>
Date: Fri, 16 Aug 2013 06:42:18 +0200
Subject: [PATCH] log pinch widths

---
 js/map.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/map.js b/js/map.js
index 2ecd3a4..ce66429 100644
--- a/js/map.js
+++ b/js/map.js
@@ -512,6 +512,7 @@ var mapEvHandler = {
               Math.pow(aEvent.targetTouches.item(1).clientY -
                        aEvent.targetTouches.item(0).clientY, 2)
           );
+          console.log(gPinchStartWidth + ' <?> ' + curPinchStartWidth);
           if (gPinchStartWidth / curPinchStartWidth > 1.7 ||
               gPinchStartWidth / curPinchStartWidth < 0.6) {
             var newZoomLevel = gPos.z + (gPinchStartWidth < curPinchStartWidth ? 1 : -1);
-- 
2.43.0