We are using WebKitWebSettings on some places in documentation, but WebKitWebSettings is originally a WK1 thing and was replaced with WebKitSettings
Created attachment 298339 [details] Patch
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See http://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Comment on attachment 298339 [details] Patch Good catch!
Comment on attachment 298339 [details] Patch Clearing flags on attachment: 298339 Committed r210500: <http://trac.webkit.org/changeset/210500>
All reviewed patches have been landed. Closing bug.