After discussing this heavily, it seems that something in GNOME has px and pt exactly reversed. "1 pt" = 1/72 inch, i. e. a 10 pt font should have the same physical ruler height *everywhere*, whereas a 10 px font has 10 physical dots on the monitor and thus its size is dependant on the monitor's DPI resolution.
Fonts should not be the same physical size everywhere; by default they ought to be bigger on big screens than on small ones. Thus I agree that 13.333 px is a reasonable default, at least for standard monitors (mobile phone screens are something different, since they usually have much fewer pixels). -- Default font size too large if using native DPI https://bugs.launchpad.net/bugs/310353 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
