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 |
|