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 <jor...@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 <b...@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 <hy...@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@lists.webkit.org >> > http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev >> > >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev > > _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
