On Tue, 2017-03-21 at 11:19 +0100, Artyom wrote: > I want to get rid of "blocky" selection in webkit (see this bug: > https://bugs.webkit.org/show_bug.cgi?id=156900). Apparently, to do > this > I should enable SelectionPaintingWithoutSelectionGaps. I found it in > the > source (in WKPreferences), but I can't understand how to enable it > from > WebKitGTK. Is it even possible, or are some settings from > WKPreferences > not exposed by WebKitGTK?
No, it's not exposed in our API at all. It would need to be added to WebKitSettings. See Source/WebKit2/UIProcess/API/gtk/WebKitSettings.[h,cpp]. I think there is no reason to not add it, just that nobody has requested it before, so feel free to submit a patch on Bugzilla. I kinda wonder if selection painting without gaps should be our default behavior, but I'm not sure. Currently, all ports paint the gaps, but only because we just removed the EFL port, which did not paint selection gaps. macOS definitely wants to paint the gaps, but I don't think this is how browsers work on Windows? Note: There was a thread about this on webkit-dev a year or two ago, if you want to search for it. Michael _______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
