Skip to content
This repository has been archived by the owner on Apr 10, 2018. It is now read-only.

Document "$id" filters #391

Closed
jfirebaugh opened this issue Dec 17, 2015 · 1 comment
Closed

Document "$id" filters #391

jfirebaugh opened this issue Dec 17, 2015 · 1 comment

Comments

@jfirebaugh
Copy link
Contributor

So that they can filter against a GeoJSON or Vector Tile id value.

cc @bsudekum

jfirebaugh added a commit to mapbox/mapbox-gl-native that referenced this issue Jul 15, 2016
jfirebaugh added a commit to mapbox/feature-filter that referenced this issue Jul 15, 2016
jfirebaugh added a commit to mapbox/mapbox-gl-native that referenced this issue Jul 16, 2016
jfirebaugh added a commit to mapbox/mapbox-gl-native that referenced this issue Jul 18, 2016
jfirebaugh added a commit to mapbox/feature-filter that referenced this issue Jul 18, 2016
jfirebaugh added a commit to mapbox/mapbox-gl-js that referenced this issue Jul 18, 2016
This release adds support for `$id` keys: mapbox/mapbox-gl-style-spec#391
mourner pushed a commit to mapbox/mapbox-gl-js that referenced this issue Aug 10, 2016
This release adds support for `$id` keys: mapbox/mapbox-gl-style-spec#391
lucaswoj pushed a commit to mapbox/mapbox-gl-js that referenced this issue Aug 10, 2016
* Update to feature-filter 2.2.0

This release adds support for `$id` keys: mapbox/mapbox-gl-style-spec#391

* Update to vector-tile 1.3.0

This release adds a public "id" property to VectorTileFeature: mapbox/vector-tile-js#43

* update to geojson-vt 2.4.0

* make sure id=0 works for geojson
@lucaswoj lucaswoj changed the title filters should support $id special key Document "$id" filters Aug 10, 2016
@lucaswoj
Copy link

lucaswoj commented Feb 1, 2017

This issue was moved to mapbox/mapbox-gl-js#4104

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants