Allow dragging tabs (#3616)

e09b07ddaeMax Brunsfeld committed on 12/13/2023, 12:20:37 AM· committed by GitHubparents2e00da56362221
10 files changedLine totals unavailable