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

Diff Editor: Mark the full block as being replaced #192758

Closed
hediet opened this issue Sep 11, 2023 · 0 comments · Fixed by #194266
Closed

Diff Editor: Mark the full block as being replaced #192758

hediet opened this issue Sep 11, 2023 · 0 comments · Fixed by #194266
Assignees
@hediet
Labels
diff-editor Diff editor issues feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Milestone
September 2023

Comments

@hediet
Copy link
Member

hediet commented Sep 11, 2023

Description

Mark the full block as being replaced

Image

Playground Example

Monaco Editor Playground Repro (click on "compare withlatest dev" to verify a future bug-fix)
@hediet hediet added the diff-editor Diff editor issues label Sep 11, 2023
@hediet hediet self-assigned this Sep 11, 2023
@hediet hediet added the feature-request Request for new features or functionality label Sep 11, 2023
@hediet hediet added this to the September 2023 milestone Sep 11, 2023
@hediet hediet mentioned this issue Sep 27, 2023
Merged
hediet added a commit that referenced this issue Sep 27, 2023
@hediet
Fixes #192758
93259a4
hediet added a commit that referenced this issue Sep 27, 2023
@hediet
Fixes #192758
b5075b2
@VSCodeTriageBot VSCodeTriageBot added unreleased Patch has not yet been released in VS Code Insiders insiders-released Patch has been released in VS Code Insiders and removed unreleased Patch has not yet been released in VS Code Insiders labels Sep 27, 2023
@rzhao271 rzhao271 added the verified Verification succeeded label Sep 27, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Nov 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@hediet hediet

Labels
diff-editor Diff editor issues feature-request Request for new features or functionality insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
September 2023
Development

Successfully merging a pull request may close this issue.

Fixes #192758 microsoft/vscode
3 participants
@hediet @rzhao271 @VSCodeTriageBot