[webkit-reviews] review requested: [Bug 42799] pixelWidth/posWidth are processed incorrectly : [Attachment 67151] patch

[bugzilla-daemon at webkit.org]

Yuxiang Luo <luoyx at google.com> has asked  for review:
Bug 42799: pixelWidth/posWidth are processed incorrectly
https://bugs.webkit.org/show_bug.cgi?id=42799

Attachment 67151: patch
https://bugs.webkit.org/attachment.cgi?id=67151&action=review

------- Additional Comments from Yuxiang Luo <luoyx at google.com>
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.