[webkit-dev] On/Off selection gap painting during the text selection

[Gyuyoung Kim]

Hello all,

I upload a patch to add a preference API in order to enable/disable the
selection gap painting feature.

Add WKPreference for SelectionPaintingWithoutSelectionGaps
https://bugs.webkit.org/show_bug.cgi?id=156900


You're able to see what is the selection gap painting in below screenshots.


1. Enable selection gap painting on WebKitGTK+ (Red circles point out the
selection gaps)


​
​

2. Disable selection gap painting on WebKitGTK+


​


Almost browsers don't support the selection gap painting when doing text
selection. So I wonder why WebKit has been
doing support this feature so far. Anyway I think it would be good if we
can give each port a functionality to enable/disable
this feature. Because I believe there is definitely ports which want to
disable it.

In my opinion this new preference API looks good for WK2. But If there is
any concern or comment about new preference API
to WK2, please let me know.

gyuyoung.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-dev/attachments/20160503/f891ee93/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: disable-selection-gap-painting-2.png
Type: image/png
Size: 143176 bytes
Desc: not available
URL: <https://lists.webkit.org/pipermail/webkit-dev/attachments/20160503/f891ee93/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: enable-selection-gap-painting-2.png
Type: image/png
Size: 154698 bytes
Desc: not available
URL: <https://lists.webkit.org/pipermail/webkit-dev/attachments/20160503/f891ee93/attachment-0003.png>