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

New diff editor doesn't react to resizing #197941

Closed
Tyriar opened this issue Nov 10, 2023 · 0 comments · Fixed by #198097
Closed

New diff editor doesn't react to resizing #197941

Tyriar opened this issue Nov 10, 2023 · 0 comments · Fixed by #198097
Assignees
@hediet
Labels
bug Issue identified by VS Code Team member as probable bug diff-editor Diff editor issues insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Milestone
November 2023

Comments

@Tyriar
Copy link
Member

Tyriar commented Nov 10, 2023

Repro:

Open new diff editor
Resize

image
@hediet hediet added bug Issue identified by VS Code Team member as probable bug diff-editor Diff editor issues labels Nov 13, 2023
@hediet hediet added this to the November 2023 milestone Nov 13, 2023
This was referenced Nov 13, 2023
Closed
Merged
hediet added a commit that referenced this issue Nov 13, 2023
@hediet
Fixes #197941
cafc9e9
hediet added a commit that referenced this issue Nov 13, 2023
@hediet
Fixes #197941
43b608d
@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 Nov 13, 2023
@joyceerhl joyceerhl added the verified Verification succeeded label Nov 30, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@hediet hediet

Labels
bug Issue identified by VS Code Team member as probable bug diff-editor Diff editor issues insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
November 2023
Development

Successfully merging a pull request may close this issue.

Fixes #197941 microsoft/vscode
4 participants
@Tyriar @hediet @joyceerhl @VSCodeTriageBot