On 2008/02/01 23:15 (GMT+0100) Nicolas Mailhot apparently typed: > Fractionnal point sizes are not rocket science, One wouldn't think so, but exactly which apps permit selection of and actually use sizes specified in fractional pt? NAICT, all GUI web browsers round all font sizes to pixel integer multiples regardless of what they seem to calculate to. > there's no need to switch to a different unit (hardware > specific even) just to up the precision. The switch regarding mainstream mozilla apps is ancient history, and attempts to reverse it via mozilla's bugzilla have been wontfixed. https://bugzilla.mozilla.org/show_bug.cgi?id=414427 seems more likely to stand a chance of a fix, and is probably overdue. I'm surprised it hasn't been marked a dupe of a much older bug. -- "For God so loved the world that he gave his one and only Son, that whoever believes in him shall not perish but have eternal life." John 3:16 NIV Team OS/2 ** Reg. Linux User #211409 Felix Miata *** http://mrmazda.no-ip.com/ -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
