Merge pull request #2203 from zed-industries/collab-ui-fixes

Fix minor issues with new collab UI
d49e35f947Max Brunsfeld committed on 2/22/2023, 10:22:05 PM· committed by GitHubparents46ead2840aee8d
2 files changedLine totals unavailable