Pieter Vander Vennet 4085bbc1ac Rework preferences handling, improve search		2024-09-10 02:19:55 +02:00
..
layers	Rework preferences handling, improve search	2024-09-10 02:19:55 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	Merge develop	2024-09-05 17:34:13 +02:00
themes	Search: refactoring searching for themes, refactor allThemesGui, incidentally fix #1679	2024-09-05 02:25:03 +02:00