4 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	c944156d87	Further work, add checkboxes as option	2020-09-10 19:33:06 +02:00
Pieter Vander Vennet	97ec893479	Add more checks on parsing from JSON, fix of those issues on the builtin themes	2020-09-08 00:33:05 +02:00
Pieter Vander Vennet	80f0dbe6e3	New mapcomplete version	2020-09-05 01:40:43 +02:00
Pieter Vander Vennet	9e4035befc	Port bird-hides to new JSON-format, various improvements	2020-09-03 19:05:18 +02:00