Bug 86693

Summary: Fix rounding in paintSelection
Product: WebKit Reporter: Emil A Eklund <eae>
Component: Layout and RenderingAssignee: Emil A Eklund <eae>
Status: RESOLVED FIXED    
Severity: Normal CC: eric, leviw, webkit.review.bot
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Bug Depends on:    
Bug Blocks: 85555    
Attachments:
Description Flags
Patch none

Description Emil A Eklund 2012-05-16 18:26:16 PDT
Fix rounding to device pixels in paintSelection to avoid selection gaps once we turn on subpixel layout.
Comment 1 Emil A Eklund 2012-05-16 18:37:05 PDT
Created attachment 142389 [details]
Patch
Comment 2 Eric Seidel (no email) 2012-05-17 12:36:01 PDT
Comment on attachment 142389 [details]
Patch

Looks reasonable to me.
Comment 3 WebKit Review Bot 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>
Comment 4 WebKit Review Bot 2012-05-17 13:57:00 PDT
All reviewed patches have been landed.  Closing bug.