Fix rounding in RenderFlowThread::paintIntoRegion
authoreae@chromium.org <eae@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 17 May 2012 19:04:53 +0000 (19:04 +0000)
committereae@chromium.org <eae@chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 17 May 2012 19:04:53 +0000 (19:04 +0000)
commitada3c6915957b9f52395cb4df828905249bc6116
treec0df9f30a6df11464b46044e1f2f6a12accb47ad
parentbb9c463cfba420898440ed4320d449fc68e9c499
Fix rounding in RenderFlowThread::paintIntoRegion
https://bugs.webkit.org/show_bug.cgi?id=86695

Reviewed by Eric Seidel.

Fix rounding of offset in paintIntoRegion to ensure that we paint on
device pixel boundaries.

Covered by existing tests in fast/regions.

* platform/graphics/FractionalLayoutPoint.h:
(WebCore::roundedIntPoint):
Add roundedIntPoint(FractionalLayoutSize) function.
(WebCore):
* rendering/RenderFlowThread.cpp:
(WebCore::RenderFlowThread::paintIntoRegion):

git-svn-id: http://svn.webkit.org/repository/webkit/trunk@117476 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/platform/graphics/FractionalLayoutPoint.h
Source/WebCore/rendering/RenderFlowThread.cpp