From dd7b2603af1fa50e9181a0fe8065c8c4d853492a Mon Sep 17 00:00:00 2001
From: Quincy Morgan <quincy.morgan@icloud.com>
Date: Tue, 13 Aug 2019 15:25:07 -0500
Subject: [PATCH] Fix issue where a deleted feature might not disappear from
 the map (close #6480)

---
 modules/renderer/map.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules/renderer/map.js b/modules/renderer/map.js
index 1d74de9ef..8e52f720a 100644
--- a/modules/renderer/map.js
+++ b/modules/renderer/map.js
@@ -269,7 +269,7 @@ export function rendererMap(context) {
         if (difference) {
             var complete = difference.complete(map.extent());
             data = Object.values(complete).filter(Boolean);
-            set = new Set(data.map(function(entity) { return entity.id; }));
+            set = new Set(Object.keys(complete));
             filter = function(d) { return set.has(d.id); };
             features.clear(data);
 
@@ -744,7 +744,7 @@ export function rendererMap(context) {
         var proj = geoRawMercator().transform(projection.transform());  // copy projection
         // use the target zoom to calculate the offset center
         proj.scale(geoZoomToScale(zoom, TILESIZE));
-        
+
         var locPx = proj(loc);
         var offsetLocPx = [locPx[0] + offset[0], locPx[1] + offset[1]];
         var offsetLoc = proj.invert(offsetLocPx);