Peter Steinberger 6d91dad8e4 mac: tie highlight to panel visibility		2025-12-09 23:20:16 +01:00
..
macos	mac: tie highlight to panel visibility	2025-12-09 23:20:16 +01:00