Merge pull request #1237 from zed-industries/jump-to-definition

Mouse jump to definition
bc82d98ae5Keith Simmons committed on 6/27/2022, 10:20:07 PM· committed by GitHubparents024dfd7f73af85
30 files changedLine totals unavailable