Merge pull request #1868 from zed-industries/readd-search-match-highlight

Update search match highlight and occurrence style
c0d67d9522Nate Butler committed on 11/9/2022, 11:37:17 PM· committed by GitHubparents9355d506b4dd2a
2 files changedLine totals unavailable