[Webkit-unassigned] [Bug 200479] New: [WPE][GTK] New API to remove a filter from an user content manager given its identifier

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=200479

            Bug ID: 200479
           Summary: [WPE][GTK] New API to remove a filter from an user
                    content manager given its identifier
           Product: WebKit
           Version: Other
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: WebKit API
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: aperez at igalia.com

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.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20190806/c0b83397/attachment-0001.html>