| 
									
										
										
										
											2021-10-11 00:54:35 +02:00
										 |  |  | import MinimapImplementation from "./UI/Base/MinimapImplementation"; | 
					
						
							| 
									
										
										
										
											2021-10-14 21:43:14 +02:00
										 |  |  | import Minimap from "./UI/Base/Minimap"; | 
					
						
							|  |  |  | import ShowOverlayLayer from "./UI/ShowDataLayer/ShowOverlayLayer"; | 
					
						
							|  |  |  | import TilesourceConfig from "./Models/ThemeConfig/TilesourceConfig"; | 
					
						
							|  |  |  | import Loc from "./Models/Loc"; | 
					
						
							|  |  |  | import {UIEventSource} from "./Logic/UIEventSource"; | 
					
						
							| 
									
										
										
										
											2021-10-02 15:16:41 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-11 00:54:35 +02:00
										 |  |  | MinimapImplementation.initialize() | 
					
						
							| 
									
										
										
										
											2021-10-02 15:16:41 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-10-14 21:43:14 +02:00
										 |  |  | const map = Minimap.createMiniMap({ | 
					
						
							|  |  |  |     location: new UIEventSource<Loc>({ | 
					
						
							|  |  |  |         zoom: 19, | 
					
						
							|  |  |  |         lat: 51.51896, | 
					
						
							|  |  |  |         lon: -0.11267 | 
					
						
							|  |  |  |     }) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | }) | 
					
						
							|  |  |  | map.SetStyle("height: 50rem") | 
					
						
							|  |  |  | map.AttachTo("maindiv") | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | new ShowOverlayLayer(new TilesourceConfig({ | 
					
						
							|  |  |  |     "source": "https://tiles.osmuk.org/PropertyBoundaries/{z}/{x}/{y}.png", | 
					
						
							|  |  |  |     "isOverlay": true, | 
					
						
							|  |  |  |     minZoom: 18, | 
					
						
							|  |  |  |     maxZoom: 20 | 
					
						
							|  |  |  | }), map) |