Merge pull request #1791 from zed-industries/drag-tabs-more-places

Drag tabs more places
8bd9577318Kay Simmons committed on 10/25/2022, 7:34:50 AM· committed by GitHubparents076d3532ac5373
21 files changedLine totals unavailable