Skip to content

Change panel switching from `Ctrl + Tab` => `Super + Tab`.

This maintains the shortcut but keeps it from conflicting with tab switching in editors and web browsers.

Merge request reports