Merge pull request #1391 from zed-industries/dismiss-project-panel-rename

Dismiss project panel's rename editor when it loses focus
1a1ec1b81aMax Brunsfeld committed on 7/18/2022, 11:23:15 PM· committed by GitHubparents2ab732ec1dfb62
1 file changedLine totals unavailable