Pieter Vander Vennet 9e6460030b Fixes to the personal theme		2020-09-15 02:29:31 +02:00
..
Leaflet	Fixes and simplification of the CSS	2020-09-12 23:15:17 +02:00
Osm	Fixes to the personal theme	2020-09-15 02:29:31 +02:00
Web	Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes	2020-08-30 01:13:18 +02:00
Bounds.ts	Restructuring	2020-07-30 00:59:08 +02:00
ElementStorage.ts	Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes	2020-08-30 01:13:18 +02:00
FilteredLayer.ts	Various bug fixes	2020-09-14 20:16:03 +02:00
GeoOperations.ts	Huge refactorings of JSON-parsing and Tagsfilter, other cleanups, warning cleanups and lots of small subtle bugfixes	2020-08-30 01:13:18 +02:00
ImageSearcher.ts	More cleanup of code: remove the overly complicated layer selection	2020-09-13 03:29:44 +02:00
LayerUpdater.ts	Fixes to the personal theme	2020-09-15 02:29:31 +02:00
PersonalLayersPanel.ts	Fixes to the personal theme	2020-09-15 02:29:31 +02:00
PersonalLayout.ts	Custom themes now stick to the user account and can be revisited, small improvements	2020-08-26 15:36:04 +02:00
Tags.ts	Fixes and simplification of the CSS	2020-09-12 23:15:17 +02:00
UIEventSource.ts	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00