[webkit-dev] Selection highlight painting ("gaps"?)

[Ben Goodger]

I agree. I would like to retain this mode of selection in Windows
Chrome at least. I think it's only ragged in most apps because people
don't take the time to make it look nice.

-Ben

On Mon, Oct 19, 2009 at 12:57 PM, David Hyatt <hyatt at apple.com> wrote:
> On Oct 16, 2009, at 7:07 PM, Evan Martin wrote:
>
>> When you select multiple lines of text in WebKit, the highlight paints
>> over whitespace on the right margin.
>> This is correct behavior for Mac, but not for Windows or Linux.
>>
>
> I would suggest making it be controlled by a Setting rather than #ifdefs.  I
> thought one existed already, but if it doesn't, we can add one.  Another
> possibility might be using the theme to query for this info, although I know
> we would like to preserve the gap painting on Safari for Windows.  Therefore
> a Setting is probably best.
>
> Keep in mind that eliminating the gaps will give you a pretty ugly irregular
> selection in a lot of places.   Do what you want in Chrome, but make sure
> it's a setting and that you don't change Safari for Windows in the process.
>
> Thanks,
> dave
>
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>