Hi, On 03/05/16 15:24, Gyuyoung Kim wrote: > I upload a patch to add a preference API in order to enable/disable the > selection gap painting feature.
BTW, this has been removed from Chrome too past year: https://groups.google.com/a/chromium.org/d/msg/blink-dev/6Iu5oIbAGbI/PsJlNvJPhfMJ Note that in the discussion they pointed to an issue that happens when you remove gaps paining, you don't know if you've selected a newlines or not: https://bugs.chromium.org/p/chromium/issues/detail?id=474759 > Add WKPreference for SelectionPaintingWithoutSelectionGaps > https://bugs.webkit.org/show_bug.cgi?id=156900 As pointed out by Darin on the bug, an issue with selection gaps is what happens with the new layout methods like Flexbox and specially Grid Layout, where the visual order and the DOM order can be completely different. My 2 cents, Rego _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
