Merge pull request #1485 from zed-industries/fullscreen-workspace-title-padding

Fullscreen workspace title padding
c303c4e8f9Mikayla Maki committed on 8/10/2022, 12:02:26 AM· committed by GitHubparentsae8dd1e45c0539
7 files changedLine totals unavailable