Pieter Vander Vennet de9bb13568 Small fixes, add geolocation feature switch		2020-08-08 14:43:48 +02:00
..
Basemap.ts	Various small fixes	2020-08-07 20:50:46 +02:00
GeoLocationHandler.ts	Small fixes, add geolocation feature switch	2020-08-08 14:43:48 +02:00
StrayClickHandler.ts	Refactoring: introduction of global state to simplify getting common objects	2020-07-31 01:45:54 +02:00