-
Notifications
You must be signed in to change notification settings - Fork 8.3k
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
Terminal font loaded at very small scale. #5230
Comments
Those are definitely different sizes. Can you put gnome-terminal size 8 and Windows Terminal size 8 next to eachother? Then, can you do the same thing for size 10? |
Then I'll need to know what your DPI is in Windows and in X11, because I'm willing to bet that our font size math isn't egregiously incorrect 😄 |
Fair enough! |
Worth noting that X11 uses 72 DPI by default and Windows uses 96 - could explain why saving screenshots that look the same size on the screen come out as different image sizes. |
This difference is likely to be caused by hinting. Different text rendering engines handle hinting differently. If you compare a font that isn't hinted: (terminal in the back, notepad in the front) If I overlay them ... ... the only difference is the subpixel antialiasing artifacts on the edges. I'm going to mark this one as a /dupe of #1790 (sub #5093) because we're using that issue to track configurable font rendering knobs. |
Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report! |
Description of the new feature/enhancement
Feeling like the terminal row height could be reduced few pixels.
For comparison.
I have gnome terminal set up with font: Ubuntu Mono Regular, size 8
and windows terminal set up with font: Ubuntu Mono Regular: size 10.
First of all, despite these two terminals set with different font sizes, the font appears to be
the same viewing size. The different is windows terminal with size 10 is taller than gnome terminal with font-size 8.
The text was updated successfully, but these errors were encountered: