7 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	efd7631837	Performance improvements, add clock	2020-12-05 03:22:17 +01:00
Pieter Vander Vennet	e0694fee9d	Fix bugs with loading of themes	2020-10-17 03:19:14 +02:00
Pieter Vander Vennet	07e611bf10	Add further support for special UI-elements; add documentation, fix a few bugs	2020-10-17 02:37:53 +02:00
Pieter Vander Vennet	a57b7d93fa	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
Pieter Vander Vennet	146552e62c	Some refactoring, more work on the custom theme generator	2020-08-17 17:23:15 +02:00
Pieter Vander Vennet	963949f86a	Small bugfixes on saving elements, fix #83	2020-08-06 21:06:50 +02:00
Pieter Vander Vennet	6187122294	Add MapComplete	2020-06-24 00:35:19 +02:00