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

Empty HoverWidget is visible at startup #134750

Closed
jeanp413 opened this issue Oct 10, 2021 · 3 comments · Fixed by #134752
Closed

Empty HoverWidget is visible at startup #134750

jeanp413 opened this issue Oct 10, 2021 · 3 comments · Fixed by #134752
Assignees
@alexdima
Labels
bug Issue identified by VS Code Team member as probable bug candidate Issue identified as probable candidate for fixing in the next release editor-hover Editor mouse hover regression Something that used to work is now broken verified Verification succeeded
Milestone
September 2021 Re...

Comments

@jeanp413
Copy link
Contributor

  • VS Code Version: stable and from sources

This small square ⬇️ . It annoys me 😄

image
image
jeanp413 added a commit to jeanp413/vscode that referenced this issue Oct 10, 2021
@jeanp413
Fixes microsoft#134750
1ef119a
@jeanp413 jeanp413 mentioned this issue Oct 10, 2021
Merged
@jeanp413
Copy link
Contributor Author

Created PR #134752 fixing it

@gjsjohnmurray gjsjohnmurray mentioned this issue Oct 10, 2021
Closed
@Tyriar Tyriar assigned alexdima and unassigned Tyriar Oct 11, 2021
@Tyriar Tyriar added the editor-hover Editor mouse hover label Oct 11, 2021
@alexdima alexdima added bug Issue identified by VS Code Team member as probable bug regression Something that used to work is now broken candidate Issue identified as probable candidate for fixing in the next release labels Oct 11, 2021
@alexdima
Copy link
Member

reopening for candidate consideration

@alexdima alexdima reopened this Oct 11, 2021
@alexdima alexdima added this to the September 2021 milestone Oct 11, 2021
@Tyriar Tyriar modified the milestones: September 2021, October 2021 Oct 11, 2021
alexdima pushed a commit that referenced this issue Oct 12, 2021
@jeanp413 @alexdima
Fixes #134750
0035e62
@alexdima alexdima mentioned this issue Oct 12, 2021
Merged
@hediet hediet added the verified Verification succeeded label Oct 13, 2021
@alexdima alexdima mentioned this issue Oct 14, 2021
Closed
@WebFreak001
Copy link

thanks, I just spent half an hour being annoyed at this pixel until I realized I could update to fix it. Truly a critical bug that somehow got past the testers!

@github-actions github-actions bot locked and limited conversation to collaborators Nov 26, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@alexdima alexdima

Labels
bug Issue identified by VS Code Team member as probable bug candidate Issue identified as probable candidate for fixing in the next release editor-hover Editor mouse hover regression Something that used to work is now broken verified Verification succeeded
Projects
None yet
Milestone
September 2021 Recovery
Development

Successfully merging a pull request may close this issue.

Fix empty HoverWidget is visible at startup jeanp413/vscode
5 participants
@WebFreak001 @Tyriar @hediet @alexdima @jeanp413