[Bug 649616] Re: FFE: Use font='Ubuntu' as default UI font in default themes

[Paul Sladen]

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 Mozilla
Bugs, which is subscribed to ubufox in ubuntu.