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

[Ben Goodger]

To me, it looks ugly to have a ragged edge if you can avoid it. Dave
did a great job making it look nice in WebKit. I don't have a strong
feeling on Linux so if people feel strongly there whatever. But on
Windows Chrome I want to retain the solid edge. Maybe there are ways
the solid edge can be improved, folk should investigate that rather
than just disabling it.

-Ben

On Mon, Oct 19, 2009 at 1:08 PM, Jeremy Orlow <jorlow at chromium.org> wrote:
> FYI, this was filed some time ago:
> http://code.google.com/p/chromium/issues/detail?id=3527
> https://bugs.webkit.org/show_bug.cgi?id=21960
>
> On Mon, Oct 19, 2009 at 1:03 PM, Ben Goodger <beng at google.com> wrote:
>>
>> 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
>> >
>> _______________________________________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>
>