[Webkit-unassigned] [Bug 5164] Non-integer percentages are incorrectly rounded down in Safari

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Dec 4 14:24:17 PST 2006


http://bugs.webkit.org/show_bug.cgi?id=5164





------- Comment #11 from mitz at webkit.org  2006-12-04 14:24 PDT -------
(In reply to comment #6)
> This is a simple int vs. float rounding issue.  RenderStyle holds width as a
> "Length" which uses an int to 
> store its intermediate value (in this case 99.999).  That's wrong.  It should
> use a float. 
> 

You can use the existing int (minus 3 bits actually) but store 2 digits after
the decimal point, i.e. 12.34% would be represented by the integer 1234. This
would solve the problem in 99.99% of the cases ;-)


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.



More information about the webkit-unassigned mailing list