Pieter Vander Vennet 8f95e8520a Themes: ghost signs: add wall-based artworks to be able to mark them as ghost sign and to avoid duplicates		2024-08-02 13:52:45 +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	Themes: ghost signs: add wall-based artworks to be able to mark them as ghost sign and to avoid duplicates	2024-08-02 13:52:45 +02:00