Pieter Vander Vennet 0a1c90be9e Themes: better support billboard on walls		2024-08-24 23:40:39 +02:00
..
layers	Themes: better support billboard on walls	2024-08-24 23:40:39 +02:00
png	Housekeeping: formatting	2024-02-20 13:33:38 +01:00
svg	UX: fix #2089, improve background selection hotkeys and add emoji to indicate categories of background layers	2024-08-23 03:47:04 +02:00
themes	Themes: better support billboard on walls	2024-08-24 23:40:39 +02:00