forked from MapComplete/MapComplete
Add viewpoint for buurtnatuur, add translation of AddPointPoi
This commit is contained in:
parent
7bbc140f05
commit
c3d04c79b9
13 changed files with 271 additions and 71 deletions
|
@ -49,7 +49,7 @@ export class FilteredLayer {
|
|||
map: Basemap, storage: ElementStorage,
|
||||
changes: Changes,
|
||||
selectedElement: UIEventSource<any>,
|
||||
showOnPopup: ((tags: UIEventSource<any>) => UIElement)
|
||||
showOnPopup: ((tags: UIEventSource<any>, feature: any) => UIElement)
|
||||
) {
|
||||
this.layerDef = layerDef;
|
||||
|
||||
|
|
|
@ -57,12 +57,14 @@ export class LayerUpdater {
|
|||
}
|
||||
}
|
||||
|
||||
private _failCount = 0;
|
||||
private handleFail(reason: any) {
|
||||
console.log("QUERY FAILED (retrying in 1 sec)", reason);
|
||||
this.previousBounds = undefined;
|
||||
const self = this;
|
||||
this._failCount++;
|
||||
window.setTimeout(
|
||||
function(){self.update()}, 1000
|
||||
function(){self.update()}, this._failCount * 1000
|
||||
)
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue