Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Allow deselecting any selection in the editor using the Back binding (escape key) #23651

Merged
merged 5 commits into from May 24, 2023
Merged

Allow deselecting any selection in the editor using the Back binding (escape key) #23651

merged 5 commits into from May 24, 2023

Conversation

peppy
Copy link
Sponsor Member

@peppy peppy commented May 24, 2023 •
edited

Matching much-loved stable behaviour.

#23513

@pull-request-size pull-request-size bot added size/L and removed size/S labels May 24, 2023
@bdach bdach enabled auto-merge May 24, 2023 18:25
@bdach bdach merged commit 3311d6f into ppy:master May 24, 2023
10 of 11 checks passed
@peppy peppy deleted the editor-escape-deselects branch May 25, 2023 08:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bdach bdach bdach approved these changes

Assignees
No one assigned
Labels
area:editor size/L
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@peppy @bdach