[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





--- Comment #4 from Ojan Vafai <ojan at chromium.org>  2012-04-09 11:41:01 PST ---
(In reply to comment #3)
> Seems like hyatt checked in something years ago explicitly to make selection not have jagged edges.  I wonder if that patch is the exact opposite of the suggested fix here.

These are all heuristics. We need to pick the one that maximizes only highlighting the part of the DOM you have selected while minimizing jagged edges. I expect highlighting the border-box of elements instead of their margin-box would almost always be better. 

I can easily construct pages where selections would look bad with either approach. Would be great for someone to put together a patch that we could try locally and see how it feels on different real pages.

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