Stefan Haller b37d6dcd1c When using the panel jump keys and the target panel is already active, switch tabs

2024-08-17 10:37:00 +02:00

14 KiB

Raw Blame History

View Raw