feat: make Mol explorer map-first

2026-07-14 13:21:53 +02:00
parent e340b7f1ec
commit 2958c25b6f
24 changed files with 1901 additions and 14 deletions
@@ -309,6 +309,7 @@ export interface VectorSelectionDeriveRequest extends VectorSelectionRequest {
 export interface VectorSelectionResponse {
  selection_bbox: VectorSelectionBBox
  feature_count: number
+  total_feature_count?: number | null
  limit: number
  truncated: boolean
  geojson: GeoJSON.FeatureCollection