RESOLVED FIXED218403
[GTK][WPE] Cannot remove individual scripts/stylesheets using WebKitUserContentManager
https://bugs.webkit.org/show_bug.cgi?id=218403
Summary [GTK][WPE] Cannot remove individual scripts/stylesheets using WebKitUserConte...
Adrian Perez
Reported 2020-10-30 13:31:45 PDT
Currently there are webkit_user_content_manager_remove_filter[_by_id] but no equivalent for scripts and stylesheets. There is no reason why webkit_user_content_manager_remove_{script,style_sheet} shouldn't be available >_<
Attachments
WIP Patch (9.60 KB, patch)
2020-10-30 13:57 PDT, Adrian Perez
no flags
Patch (13.43 KB, patch)
2020-11-02 07:44 PST, Adrian Perez
no flags
Adrian Perez
Comment 1 2020-10-30 13:57:52 PDT
Created attachment 412796 [details] WIP Patch This should work, modulo missing test cases, which I will be adding if people agree we want to do these two additions to the public API ^_^
EWS Watchlist
Comment 2 2020-10-30 13:59:02 PDT
Thanks for the patch. If this patch contains new public API please make sure it follows the guidelines for new WebKit2 GTK+ API. See https://trac.webkit.org/wiki/WebKitGTK/AddingNewWebKit2API
Michael Catanzaro
Comment 3 2020-10-30 15:16:39 PDT
LGTM. I guess Ephy ought to use this when its user script/style preferences are disabled?
Jan-Michael Brummer
Comment 4 2020-10-31 01:34:45 PDT
Yes, we need it there and also for my WebExtensions branch.
Adrian Perez
Comment 5 2020-11-02 07:44:40 PST
EWS
Comment 6 2020-11-03 00:40:52 PST
Committed r269287: <https://trac.webkit.org/changeset/269287> All reviewed patches have been landed. Closing bug and clearing flags on attachment 412919 [details].
Note You need to log in before you can comment on or make changes to this bug.