Merge pull request #486 from zed-industries/background-highlights

Move `GetDocumentHighlights` to the background and fix collaboration race conditions
39ebaebd83Antonio Scandurra committed on 2/24/2022, 9:17:28 AM· committed by GitHubparents73fcebbd929819
12 files changedLine totals unavailable