Merge pull request #2146 from zed-industries/feedback-editor-polish

Feedback editor polish
7de04abdcbJoseph T. Lyons committed on 2/9/2023, 3:01:27 PM· committed by GitHubparents373e88e57e10ce
6 files changedLine totals unavailable