Skip to content

Add keyboard shortcuts for tabs#4251

Merged
zadam merged 2 commits intozadam:masterfrom zerebos:tab-navigationSep 12, 2023

Commits

Commits on Sep 9, 2023

Commits on Sep 11, 2023