refreshGeoAnchors method
Re-places GPS anchors from the latest fix and heading. Call after the position accuracy improves or when the user walks a long way.
Implementation
Future<void> refreshGeoAnchors() async {
for (final MapEntry<String, _GpsAnchor> entry in _gpsAnchors.entries.toList(growable: false)) {
await _safe(() => updateAnchor(entry.key, _gpsPose(entry.value)));
}
}