Improve search UI

This commit is contained in:
Pieter Vander Vennet 2024-08-30 02:18:29 +02:00
parent 3be286c2b1
commit 93f03ddbaf
22 changed files with 564 additions and 499 deletions

View file

@ -45,8 +45,9 @@ export type GeocodeResult = {
source?: string
}
export type FilterPayload = { option: FilterConfigOption, filter: FilterConfig, layer: LayerConfig, index: number }
export type FilterResult = { category: "filter", osm_id: string, payload: FilterPayload }
export type SearchResult =
| { category: "filter", osm_id: string, payload: FilterPayload }
| FilterResult
| { category: "theme", osm_id: string, payload: MinimalLayoutInformation }
| GeocodeResult