Skip to content

Split tab group UX round: explorer focus, pinned tool tabs, un-split gesture#232

Merged
parsakhaz merged 4 commits into
mainfrom
fix/default-tab-focus
Jun 17, 2026
Merged

Split tab group UX round: explorer focus, pinned tool tabs, un-split gesture#232
parsakhaz merged 4 commits into
mainfrom
fix/default-tab-focus

fix: hoist tool tabs to the top bar from every group while split

52dc483
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar