Skip to content

Dismiss project panel's rename editor when it loses focus - #1391

Merged
maxbrunsfeld merged 1 commit into
mainfrom
dismiss-project-panel-rename
Jul 18, 2022
Merged

Dismiss project panel's rename editor when it loses focus#1391
maxbrunsfeld merged 1 commit into
mainfrom
dismiss-project-panel-rename

Conversation

@maxbrunsfeld

Copy link
Copy Markdown
Collaborator

@maxbrunsfeld
maxbrunsfeld merged commit 1a1ec1b into main Jul 18, 2022
@maxbrunsfeld
maxbrunsfeld deleted the dismiss-project-panel-rename branch July 18, 2022 23:23
jolutz pushed a commit to jolutz/zed that referenced this pull request Aug 8, 2026
…oject-panel-rename

Dismiss project panel's rename editor when it loses focus
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant