Merge pull request #1342 from zed-industries/mouse-based-splitting

Introduce mouse-based pane splitting
1460fd0e2fAntonio Scandurra committed on 7/13/2022, 1:25:20 PM· committed by GitHubparents8eb8f8e3e3bd7c
8 files changedLine totals unavailable