[webkit-reviews] review requested: [Bug 113138] Web Inspector: OverviewGrid. Dragged window may change its width due to accumulating rounding error : [Attachment 195025] Patch

[bugzilla-daemon at webkit.org]

Ilya Tikhonovsky <loislo at chromium.org> has asked  for review:
Bug 113138: Web Inspector: OverviewGrid. Dragged window may change its width
due to accumulating rounding error
https://bugs.webkit.org/show_bug.cgi?id=113138

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