Fix pre-selection for tileIds

ndsev · Nov 5, 2024 · a243647 · a243647
1 parent ec15c72
commit a243647
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/erdblick_app/app/map.service.ts b/erdblick_app/app/map.service.ts
@@ -809,6 +809,14 @@ export class MapService {
         this.zoomLevel.next(MAX_ZOOM_LEVEL);
     }
 
+    *tileLayersForTileId(tileId: bigint): Generator<FeatureTile> {
+        for (const tile of this.loadedTileLayers.values()) {
+            if (tile.tileId == tileId) {
+                yield tile;
+            }
+        }
+    }
+
     private visualizeHighlights(mode: HighlightMode, featureWrappers: Array<FeatureWrapper>) {
         let visualizationCollection = null;
         switch (mode) {

diff --git a/erdblick_app/app/sourcedataselection.dialog.component.ts b/erdblick_app/app/sourcedataselection.dialog.component.ts
@@ -125,7 +125,9 @@ export class SourceDataLayerSelectionDialogComponent {
         }
 
         // Pre-select the tile ID.
-        let tileIdSelection = this.tileIds.find(element => !element.disabled);
+        let tileIdSelection = this.tileIds.find(element =>
+            !element.disabled && [...this.mapService.tileLayersForTileId(element.id as bigint)]
+        );
         if (tileIdSelection) {
             this.setCurrentTileId(tileIdSelection);
         }