6 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	2052976909	First steps for a decent custom theme generator	2020-08-31 02:59:47 +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	560c8e1567	More work on the custom theme generator, add aed template, move bookcases to json template	2020-08-22 02:12:46 +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	79f8940898	Fix build	2020-07-31 17:38:03 +02:00