7 commits

Author	SHA1	Message	Date
Pieter Vander Vennet	9970c4b8bb	Cleanup of empty classes, partial use of default export	2020-10-02 19:00:24 +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	82f3525907	Changesets are now kept open and reused to avoid tons of changesets to be created	2020-08-27 11:11:20 +02:00
Pieter Vander Vennet	4a0970a71f	Custom themes now stick to the user account and can be revisited, small improvements	2020-08-26 15:36:04 +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	2e7688a554	Add preferences panel	2020-08-07 16:01:18 +02:00
Pieter Vander Vennet	dd8f5e549e	Small fixes	2020-07-31 21:54:30 +02:00