Merge pull request #1022 from zed-industries/editor-clone-selections

Clone selections on editor split
1bf5f361d3Keith Simmons committed on 5/19/2022, 7:49:43 PM· committed by GitHubparents8dd6ad3bacfed3
3 files changedLine totals unavailable