| 
									
										
										
										
											2023-03-24 19:21:15 +01:00
										 |  |  | import { Translation, TypedTranslation } from "../UI/i18n/Translation" | 
					
						
							|  |  |  | import { Tag } from "../Logic/Tags/Tag" | 
					
						
							| 
									
										
										
										
											2023-03-28 05:13:48 +02:00
										 |  |  | import { TagsFilter } from "../Logic/Tags/TagsFilter" | 
					
						
							| 
									
										
										
										
											2023-03-24 19:21:15 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | export interface GlobalFilter { | 
					
						
							| 
									
										
										
										
											2023-03-28 05:13:48 +02:00
										 |  |  |     osmTags: TagsFilter | 
					
						
							|  |  |  |     state: number | string | undefined | 
					
						
							| 
									
										
										
										
											2023-03-24 19:21:15 +01:00
										 |  |  |     id: string | 
					
						
							|  |  |  |     onNewPoint: { | 
					
						
							|  |  |  |         safetyCheck: Translation | 
					
						
							|  |  |  |         confirmAddNew: TypedTranslation<{ preset: Translation }> | 
					
						
							|  |  |  |         tags: Tag[] | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | } |