| 
							
						 | 
						
							
							
							
							
								
							
							
								141d4db028
								
							
						 | 
						
							
							
								
								Add names to feature sources, fix that old, cached geometries get changed when a newer version is loaded
							
							
							
							
							
						 | 
						
							2021-04-23 12:55:38 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								7b47af8978
								
							
						 | 
						
							
							
								
								Add license info, fix non-updating values after reopening popups
							
							
							
							
							
						 | 
						
							2021-04-17 23:36:46 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								576fd8ff40
								
							
						 | 
						
							
							
								
								Add cache timeout
							
							
							
							
							
						 | 
						
							2021-04-17 15:42:22 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								fa4fb71e06
								
							
						 | 
						
							
							
								
								Small tweaks, stabilizing local source cache
							
							
							
							
							
						 | 
						
							2021-01-15 01:57:46 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								f33fe081d0
								
							
						 | 
						
							
							
								
								Add caching into local storage for a faster map experience
							
							
							
							
							
						 | 
						
							2021-01-15 00:29:07 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |