On Sat, Jun 27, 2009 at 02:47:06PM -0000, Endolith wrote:
> Note that "10" is arbitrary and doesn't mean "10px" or "10pt" or
> anything meaningful like that.

10 without any unit is supposed to mean point unit.

is 13.333px better for your unit?


 - Alexander

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

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to