Skip to content

Switch tabs with panel jump keys#3794

Merged
stefanhaller merged 1 commit intomasterfrom switch-tabs-with-panel-jump-keysAug 17, 2024