Merge pull request #27 from oSoc20/filter-ui

Filter ui
This commit is contained in:
Pieter Vander Vennet 2020-07-22 17:55:21 +02:00 committed by GitHub
commit 66282b289c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 331 additions and 126 deletions

View file

@ -116,12 +116,8 @@ export class LayerDefinition {
showOnPopup: (tags: UIEventSource<(any)>, feature: any) => UIElement):
FilteredLayer {
return new FilteredLayer(
this.name,
this,
basemap, allElements, changes,
this.overpassFilter,
this.maxAllowedOverlapPercentage,
this.wayHandling,
this.style,
selectedElement,
showOnPopup);