If people are suggesting sizes like 10.5 pt, perhaps the answer is that
the offered menu of sizes would be based on using the *pixels-per-em* as
the granularity (these are ultimately the hint choices that the
rendering infrastructure is going to be rounding/working to).
Based on the standard 72 pt/96 dpi (72pt == 1 inch), we have a one 1
pt increase equal to 4/3 pixels-per-em increase:
* 9.0 pt - 12 ppm (12.00)
* 10.0 pt - 13 ppm (13.33)
* 10.5 pt - 14 ppm (14.00) -- one that is wanted, being skipped
* 11.0 pt - 15 ppm (14.67)
--
FFE: Use font='Ubuntu' as default UI font in default themes
https://bugs.launchpad.net/bugs/649616
You received this bug notification because you are a member of Kubuntu
Bugs, which is subscribed to kubuntu-default-settings in ubuntu.
--
kubuntu-bugs mailing list
kubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/kubuntu-bugs