My initial thought it is:
11 pt * 96 DPI / 72 == 1320
however that would give an overlap of ~40 pixels instead of 6 pixels.
It's possible that the 6 pixels are accounted for by non-zero width
borders.
** Also affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Summary changed:
- Ubuntu mono appears larger under precise
+ Increased terminal padding under precise: 160 columns no longer fit at 72
point
** Summary changed:
- Increased terminal padding under precise: 160 columns no longer fit at 72
point
+ Increased terminal padding under precise: 160 columns of 8-pixel wide no
longer fit at 72 point on 1280 pixel display
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/893174
Title:
Increased terminal padding under precise: 160 columns of 8-pixel wide
no longer fit at 72 point on 1280 pixel display
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/893174/+subscriptions
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
