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

File link size differs in hover and problems view #69383

Closed
Tyriar opened this issue Feb 25, 2019 · 2 comments
Closed

File link size differs in hover and problems view #69383

Tyriar opened this issue Feb 25, 2019 · 2 comments
Assignees
@sandy081 @miguelsolorio
Labels
bug Issue identified by VS Code Team member as probable bug editor-error-widget verified Verification succeeded
Milestone
February 2019

Comments

@Tyriar
Copy link
Member

Tyriar commented Feb 25, 2019 •
edited

#69204

The rest of the message is the same size:

image

Version: 1.32.0-insider (user setup)
Commit: 393b48d
Date: 2019-02-25T01:34:48.785Z
Electron: 3.1.3
Chrome: 66.0.3359.181
Node.js: 10.2.0
V8: 6.6.346.32
OS: Windows_NT x64 10.0.18841
@Tyriar
Copy link
Member Author

Tyriar commented Feb 25, 2019

The same applies to ts(...):

image

@sandy081 sandy081 added bug Issue identified by VS Code Team member as probable bug editor-error-widget labels Feb 25, 2019
@sandy081 sandy081 added this to the February 2019 milestone Feb 25, 2019
@sandy081
Copy link
Member

Fixed. To be consistent applied editor font for all.

@octref octref added the verified Verification succeeded label Feb 27, 2019
@vscodebot vscodebot bot locked and limited conversation to collaborators Apr 11, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

@miguelsolorio miguelsolorio

Labels
bug Issue identified by VS Code Team member as probable bug editor-error-widget verified Verification succeeded
Projects
None yet
Milestone
February 2019
Development

No branches or pull requests
4 participants
@Tyriar @octref @sandy081 @miguelsolorio