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

Hidden Lines Bug #187153

Closed
hediet opened this issue Jul 6, 2023 · 0 comments · Fixed by #187289
Closed

Hidden Lines Bug #187153

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

Comments

@hediet
Copy link
Member

hediet commented Jul 6, 2023

Code_-_Insiders_aBSArA8kXO
@hediet hediet added bug Issue identified by VS Code Team member as probable bug diff-editor Diff editor mode issues labels Jul 6, 2023
@hediet hediet added this to the July 2023 milestone Jul 6, 2023
@hediet hediet self-assigned this Jul 6, 2023
@hediet hediet mentioned this issue Jul 7, 2023
Merged
hediet added a commit that referenced this issue Jul 7, 2023
@hediet
Fixes #187153
f9aba04
hediet added a commit that referenced this issue Jul 10, 2023
@hediet
Fixes #187153 (#187289)
293e46b
@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 Jul 10, 2023
@hediet hediet added the verified Verification succeeded label Jul 21, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Aug 24, 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 mode issues insiders-released Patch has been released in VS Code Insiders verified Verification succeeded
Projects
None yet
Milestone
July 2023
Development

Successfully merging a pull request may close this issue.

Fixes #187153 microsoft/vscode
2 participants
@hediet @VSCodeTriageBot