Merge pull request #2319 from zed-industries/copy-highlight-json

Add "editor: copy highlight json" command
d89936e4a9Nathan Sobo committed on 3/24/2023, 11:17:45 PM· committed by GitHubparentsc74f8ebf0992e7
2 files changedLine totals unavailable