[Webkit-unassigned] [Bug 30694] Selection draws over content that won't get copied

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=30694


Ojan Vafai <ojan at chromium.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hyatt at apple.com




--- Comment #2 from Ojan Vafai <ojan at chromium.org>  2010-07-08 12:23:18 PST ---
Stopping selection painting at the border box makes sense to me. The downside, I think, is that you'd get a jagged right edge in some cases. For example:

<div style="width:200px">foo</div>
<div style="width:400px">foo</div>

If you were to select all that, then the top part of the selection would be smaller. My intuition is that's a less common case than the cases like this one that it would fix.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.