Skip to content
This repository was archived by the owner on Jan 8, 2025. It is now read-only.

Switch TabItems with identical labels together#380

Merged
ptgott merged 2 commits into
mainfrom
paul.gottschling/317-tab-switch
Aug 22, 2023
Merged

Switch TabItems with identical labels together#380
ptgott merged 2 commits into
mainfrom
paul.gottschling/317-tab-switch

Commits

Commits on Aug 21, 2023

Commits on Aug 22, 2023