Pieter Vander Vennet a7c7064636 UX: improve rendering of disabled GPS button (esp. if not available)		2024-08-09 14:39:06 +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	UX: improve rendering of disabled GPS button (esp. if not available)	2024-08-09 14:39:06 +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