Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add filter support for $id keys #2888

Merged
merged 4 commits into from
Aug 10, 2016
Merged

Add filter support for $id keys #2888

merged 4 commits into from
Aug 10, 2016

Commits on Aug 10, 2016

  1. Update to feature-filter 2.2.0 

    This release adds support for `$id` keys: mapbox/mapbox-gl-style-spec#391
    @jfirebaugh @mourner
    jfirebaugh authored and mourner committed Aug 10, 2016
    Configuration menu
    Copy the full SHA
    2e5e6db View commit details
    Browse the repository at this point in the history

  2. Update to vector-tile 1.3.0 

    This release adds a public "id" property to VectorTileFeature: mapbox/vector-tile-js#43
    @jfirebaugh @mourner
    jfirebaugh authored and mourner committed Aug 10, 2016
    Configuration menu
    Copy the full SHA
    5a5d196 View commit details
    Browse the repository at this point in the history

  3. update to geojson-vt 2.4.0

    @mourner
    mourner committed Aug 10, 2016
    Configuration menu
    Copy the full SHA
    8479d07 View commit details
    Browse the repository at this point in the history

  4. make sure id=0 works for geojson

    @mourner
    mourner committed Aug 10, 2016
    Configuration menu
    Copy the full SHA
    1dd37e5 View commit details
    Browse the repository at this point in the history