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

Powerline symbols can be 1px off in either direction when zoomed in #4054

Closed
Tyriar opened this issue Aug 22, 2022 · 0 comments · Fixed by #4085
Closed

Powerline symbols can be 1px off in either direction when zoomed in #4054

Tyriar opened this issue Aug 22, 2022 · 0 comments · Fixed by #4085
Assignees
@Tyriar
Labels
area/addon/webgl help wanted type/bug Something is misbehaving
Milestone
5.0.0

Comments

@Tyriar
Copy link
Member

Tyriar commented Aug 22, 2022

See how the arrow is 1 px up here ("window.zoomLevel": 2):

image

And 1 px down here ("window.zoomLevel": 4):

image
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Tyriar Tyriar

Labels
area/addon/webgl help wanted type/bug Something is misbehaving
Projects
None yet
Milestone
5.0.0
Development

Successfully merging a pull request may close this issue.

Fix rounding error gap in webgl renderer Tyriar/xterm.js
1 participant
@Tyriar