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

Rename "Soft Undo" to "Cursor Undo" in the Command Palette #82033

Closed
wants to merge 1 commit into from
Closed

Rename "Soft Undo" to "Cursor Undo" in the Command Palette #82033

wants to merge 1 commit into from

Conversation

BLJS2warchief
Copy link

Fixed issue #82008

@alexdima alexdima added this to the October 2019 milestone Oct 7, 2019
@NotWearingPants
Copy link
Contributor

This does not rename the matching cursorRedo that was added recently, so I opened my own PR (#82930) that obsoletes this one 🤔

@alexdima alexdima modified the milestones: October 2019, November 2019 Oct 30, 2019
@Devon7925
Copy link

Looks like this can be closed now that #82930 was merged.

@rebornix
Copy link
Member

rebornix commented Dec 6, 2019

Considering this feature is already in so I'm going to close this PR. Thanks again for all your contribution!

@rebornix rebornix closed this Dec 6, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@Devon7925 Devon7925 Devon7925 approved these changes

Assignees

@rebornix rebornix

@alexdima alexdima

Labels
None yet
Projects
None yet
Milestone
November 2019
Development

Successfully merging this pull request may close these issues.
5 participants
@BLJS2warchief @NotWearingPants @Devon7925 @rebornix @alexdima