RESOLVED FIXED 86693
Fix rounding in paintSelection 
https://bugs.webkit.org/show_bug.cgi?id=86693
Summary Fix rounding in paintSelection
Emil A Eklund
Reported 2012-05-16 18:26:16 PDT
Fix rounding to device pixels in paintSelection to avoid selection gaps once we turn on subpixel layout.
Attachments
Patch (7.06 KB, patch)
2012-05-16 18:37 PDT, Emil A Eklund 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Emil A Eklund
Comment 1 2012-05-16 18:37:05 PDT
Created attachment 142389 [details] Patch
Eric Seidel (no email)
Comment 2 2012-05-17 12:36:01 PDT
Comment on attachment 142389 [details] Patch Looks reasonable to me.
WebKit Review Bot
Comment 3 2012-05-17 13:56:56 PDT
Comment on attachment 142389 [details] Patch Clearing flags on attachment: 142389 Committed r117491: <http://trac.webkit.org/changeset/117491>
WebKit Review Bot
Comment 4 2012-05-17 13:57:00 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.