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

Add clarification for overtype mode #7968

Merged
merged 1 commit into from
Jan 26, 2025
Merged

Add clarification for overtype mode #7968

merged 1 commit into from
Jan 26, 2025

Conversation

ntrogh
Copy link
Contributor

@ntrogh ntrogh commented Jan 26, 2025

Fixes #7966

@ntrogh ntrogh enabled auto-merge January 26, 2025 15:36
@ntrogh ntrogh disabled auto-merge January 26, 2025 15:36
@ntrogh ntrogh requested a review from chrisdias January 26, 2025 15:36
@vs-code-engineering vs-code-engineering bot added this to the January 2025 milestone Jan 26, 2025
chrisdias
chrisdias approved these changes Jan 26, 2025
View reviewed changes
Copy link
Member

@chrisdias chrisdias left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ntrogh ntrogh merged commit 592aec4 into main Jan 26, 2025
2 checks passed
@ntrogh ntrogh deleted the overtype branch January 26, 2025 19:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@chrisdias chrisdias chrisdias approved these changes

Assignees

@ntrogh ntrogh

Labels
None yet
Projects
None yet
Milestone
January 2025
Development

Successfully merging this pull request may close these issues.

Update release notes for Overtype mode
2 participants
@ntrogh @chrisdias