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

git.editor.toggle.annotations‘ width calculation is incorrect when characters other than English exist. #9998

Closed
shuyaqian opened this issue Aug 31, 2021 · 1 comment · Fixed by #9999
Closed

git.editor.toggle.annotations‘ width calculation is incorrect when characters other than English exist. #9998

shuyaqian opened this issue Aug 31, 2021 · 1 comment · Fixed by #9999
Labels
git issues related to git ui/ux issues related to user interface / user experience

Comments

@shuyaqian
Copy link
Contributor

Bug Description:

Steps to Reproduce:

  1. 'alt + b' to execute git.editor.toggle.annotations command
  2. when characters other than English exist，width calculation is incorrect
    image

Additional Information

  • Operating System: linux
  • Theia Version: 1.13.0
@shuyaqian
Copy link
Contributor Author

image
The width calculation here does not take into account the situation of other languages, and the unit 'ch' is inaccurate.

@shuyaqian shuyaqian mentioned this issue Aug 31, 2021
Merged
1 task
@vince-fugnitto vince-fugnitto added git issues related to git ui/ux issues related to user interface / user experience labels Sep 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
git issues related to git ui/ux issues related to user interface / user experience
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix git annotations bug
2 participants
@shuyaqian @vince-fugnitto