RESOLVED FIXED 166836
[GTK] Replace WebKitWebSettings with WebKitSettings in documentation 
https://bugs.webkit.org/show_bug.cgi?id=166836
Summary [GTK] Replace WebKitWebSettings with WebKitSettings in documentation
Tomas Popela
Reported 2017-01-09 03:16:48 PST
We are using WebKitWebSettings on some places in documentation, but WebKitWebSettings is originally a WK1 thing and was replaced with WebKitSettings
Attachments
Patch (5.86 KB, patch)
2017-01-09 03:20 PST, Tomas Popela 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Tomas Popela
Comment 1 2017-01-09 03:20:54 PST
Created attachment 298339 [details] Patch
WebKit Commit Bot
Comment 2 2017-01-09 03:22:24 PST
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
Carlos Garcia Campos
Comment 3 2017-01-09 03:22:57 PST
Comment on attachment 298339 [details] Patch Good catch!
Tomas Popela
Comment 4 2017-01-09 03:26:56 PST
Comment on attachment 298339 [details] Patch Clearing flags on attachment: 298339 Committed r210500: <http://trac.webkit.org/changeset/210500>
Tomas Popela
Comment 5 2017-01-09 03:27:05 PST
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.