Peter Steinberger d5517ede45 mac: clear highlight on panel close		2025-12-09 22:40:11 +01:00
..
macos	mac: clear highlight on panel close	2025-12-09 22:40:11 +01:00