Merge pull request #1201 from zed-industries/focus-workspace-center-on-escape

Return focus to the workspace center on escape
bb63f57073Max Brunsfeld committed on 6/16/2022, 6:45:47 PM· committed by GitHubparentscef85f5dd7b874
4 files changedLine totals unavailable