From e03bbf50f1af6b0049f06618c3e83997df5229b3 Mon Sep 17 00:00:00 2001
From: fkloft <felix.kloft+github@gmail.com>
Date: Sat, 21 Feb 2015 14:22:29 +0100
Subject: [PATCH] [user-location] update portal distance when GPS fix is
 available

---
 mobile/plugins/user-location.user.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mobile/plugins/user-location.user.js b/mobile/plugins/user-location.user.js
index 23ec3296..f4ea3e42 100644
--- a/mobile/plugins/user-location.user.js
+++ b/mobile/plugins/user-location.user.js
@@ -112,6 +112,11 @@ window.plugin.userLocation.onLocationChange = function(lat, lng) {
   window.plugin.userLocation.marker.setLatLng(latlng);
   window.plugin.userLocation.circle.setLatLng(latlng);
 
+  if(window.plugin.distanceToPortal) {
+    window.plugin.distanceToPortal.currentLoc = latlng;
+    window.plugin.distanceToPortal.updateDistance();
+  }
+
   if(window.plugin.userLocation.follow) {
     // move map if marker moves more than 35% from the center
     // 100% - 2*15% = 70% → 35% from center in either direction