3 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	5ed0bb431c	Way to much fixes and improvements	2020-09-02 11:37:34 +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