RESOLVED FIXED200479
[WPE][GTK] New API to remove a filter from an user content manager given its identifier 
https://bugs.webkit.org/show_bug.cgi?id=200479
Summary [WPE][GTK] New API to remove a filter from an user content manager given its ...
Adrian Perez
Reported 2019-08-06 15:27:31 PDT
Applications may not want to keep around a ref to a WebKitUserContentFilter in order to disable the filter later on, and at the same time they may want (or need) to selectively disable a filter without having to use the webkit_user_content_manager_remove_all_filters() and then re-add the ones they want to keep active.
Attachments
Patch (7.66 KB, patch)
2019-08-06 15:40 PDT, Adrian Perez 		no flags
DetailsFormatted DiffDiff
Patch for landing (7.70 KB, patch)
2019-08-30 05:36 PDT, Adrian Perez 		no flags
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Adrian Perez
Comment 1 2019-08-06 15:40:41 PDT
Created attachment 375654 [details] Patch
Michael Catanzaro
Comment 2 2019-08-06 16:00:16 PDT
Comment on attachment 375654 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=375654&action=review First r=me, requires a second GTK/WPE reviewer > Source/WebKit/UIProcess/API/glib/WebKitUserContentManager.cpp:358 > + * webkit_user_content_maager_remove_filter_by_id: typo
Carlos Garcia Campos
Comment 3 2019-08-29 23:51:57 PDT
Comment on attachment 375654 [details] Patch Fix the typo in docs, please.
Adrian Perez
Comment 4 2019-08-30 05:36:32 PDT
Created attachment 377701 [details] Patch for landing
WebKit Commit Bot
Comment 5 2019-08-30 06:19:00 PDT
Comment on attachment 377701 [details] Patch for landing Clearing flags on attachment: 377701 Committed r249324: <https://trac.webkit.org/changeset/249324>
WebKit Commit Bot
Comment 6 2019-08-30 06:19:01 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 7 2019-08-30 06:19:19 PDT
<rdar://problem/54879675>
Note You need to log in before you can comment on or make changes to this bug.