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

Use the editor font code for the diffs #6146

Closed
jmg-duarte opened this issue Aug 16, 2024 · 0 comments · Fixed by #6148
Closed

Use the editor font code for the diffs #6146

jmg-duarte opened this issue Aug 16, 2024 · 0 comments · Fixed by #6148
Assignees
@alexr00
Labels
bug Issue identified by VS Code Team member as probable bug verified Verification succeeded
Milestone
August 2024

Comments

@jmg-duarte
Copy link
Contributor

  • Extension version: 0.94.0
  • VSCode Version: 1.92.1
  • OS: Sonoma 14.5
  • Repository Clone Configuration (single repository/fork of an upstream repository): single repo
  • Github Product (Github.com/Github Enterprise version x.x.x): Github.com

Steps to Reproduce:

  1. Open PR with a diff
  2. Check the diff

Sample:
Screenshot 2024-08-16 at 15 29 39

My editor font is Berkeley Mono and the shown font is Droid Sans Mono.
jmg-duarte added a commit to jmg-duarte/vscode-pull-request-github that referenced this issue Aug 17, 2024
@jmg-duarte
Use editor font for diff
2bc6a71 
Fixes microsoft#6146
This was referenced Aug 17, 2024
Merged
Merged
@alexr00 alexr00 self-assigned this Aug 19, 2024
@alexr00 alexr00 added the bug Issue identified by VS Code Team member as probable bug label Aug 19, 2024
@alexr00 alexr00 added this to the August 2024 milestone Aug 19, 2024
@alexr00 alexr00 closed this as completed Aug 19, 2024
alexr00 pushed a commit that referenced this issue Aug 19, 2024
@jmg-duarte
Use editor font for diff (#6148)
da10356 
Fixes #6146
@andreamah andreamah added the verified Verification succeeded label Aug 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alexr00 alexr00

Labels
bug Issue identified by VS Code Team member as probable bug verified Verification succeeded
Projects
None yet
Milestone
August 2024
Development

Successfully merging a pull request may close this issue.

Use editor font for diff jmg-duarte/vscode-pull-request-github
3 participants
@jmg-duarte @andreamah @alexr00