[Webkit-unassigned] [Bug 42799] pixelWidth/posWidth are processed incorrectly

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=42799


Yuxiang Luo <luoyx at google.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #67148|0                           |1
        is obsolete|                            |
  Attachment #67148|review?                     |
               Flag|                            |
  Attachment #67151|                            |review?
               Flag|                            |




--- Comment #8 from Yuxiang Luo <luoyx at google.com>  2010-09-09 21:56:01 PST ---
Created an attachment (id=67151)
 --> (https://bugs.webkit.org/attachment.cgi?id=67151)
patch

There are style warning about 'case label indent', but the file already has too many such kind of style warnings. To avoid distracting reviewer's attention, I temporarily keep them unchanged.

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