Pieter Vander Vennet 97394a68cd Small fixes to copyright-panel and restoring the state of the menus		2024-08-02 13:33:29 +02:00
..
layers	Small fixes to copyright-panel and restoring the state of the menus	2024-08-02 13:33:29 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	More style tweaks to usersettings	2024-06-18 03:59:35 +02:00
themes	Add feature switch to disable the cache, partial fix to make GRB theme workable again	2024-08-02 13:32:47 +02:00