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.

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

Powerline symbols should scale with font size #159492

Closed
Tyriar opened this issue Aug 29, 2022 · 0 comments · Fixed by #159494
Closed

Powerline symbols should scale with font size #159492

Tyriar opened this issue Aug 29, 2022 · 0 comments · Fixed by #159494
Assignees
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders terminal-rendering upstream Issue identified as 'upstream' component related (exists outside of VS Code) upstream-issue-fixed The underlying upstream issue has been fixed upstream-issue-linked This is an upstream issue that has been reported upstream verified Verification succeeded

Comments

@Tyriar
Copy link
Member

Tyriar commented Aug 29, 2022

With a font size of 50 (dpr=1), the powerline symbols are too thin

image

xterm.js issue: xtermjs/xterm.js#4066

@Tyriar Tyriar added bug Issue identified by VS Code Team member as probable bug terminal-rendering labels Aug 29, 2022
@Tyriar Tyriar added this to the September 2022 milestone Aug 29, 2022
@Tyriar Tyriar assigned Tyriar and meganrogge and unassigned meganrogge Aug 29, 2022
@Tyriar Tyriar added upstream Issue identified as 'upstream' component related (exists outside of VS Code) upstream-issue-linked This is an upstream issue that has been reported upstream upstream-issue-fixed The underlying upstream issue has been fixed labels Aug 29, 2022
Tyriar added a commit that referenced this issue Aug 29, 2022
Fixes #159492
Fixes #159493
Fixes #158868
Fixes #158981
Fixes #157432
@vscodenpa vscodenpa 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 Aug 29, 2022
@Tyriar Tyriar added the verified Verification succeeded label Sep 29, 2022
@github-actions github-actions bot locked and limited conversation to collaborators Oct 13, 2022
lemanschik pushed a commit to code-oss-dev/code that referenced this issue Nov 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Issue identified by VS Code Team member as probable bug insiders-released Patch has been released in VS Code Insiders terminal-rendering upstream Issue identified as 'upstream' component related (exists outside of VS Code) upstream-issue-fixed The underlying upstream issue has been fixed upstream-issue-linked This is an upstream issue that has been reported upstream verified Verification succeeded
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants