Allowing dragging tabs onto panes and pane edges (#3641)

15f62a49f7Max Brunsfeld committed on 12/14/2023, 1:23:43 AM· committed by GitHubparents137e4e94f32f66
2 files changedLine totals unavailable