-
Notifications
You must be signed in to change notification settings - Fork 30.2k
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.
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
Add horizontal line to problem hover #69360
Comments
And please consider to use a smaller font for the hovwer's status bar (or better: the same size as the main status bar). |
@weinand This is how it looks if we use same style as status bar Does not it look odd with the rest of the hover? |
sandy081
added a commit
that referenced
this issue
Feb 25, 2019
@sandy081 I like it a lot. should "Quick Fix" appear first though? |
Done |
sandy081
added a commit
that referenced
this issue
Feb 25, 2019
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
testing #69204:
I suggest to separate the hover's status bar with the
Peek Problem
andQuick Fixes
actions from the "contents area" by another horizontal line:The text was updated successfully, but these errors were encountered: