UserContentManager.addFilter

void addFilter(webkit.user_content_filter.UserContentFilter filter)

Adds a #WebKitUserContentFilter to the given #WebKitUserContentManager.

The same #WebKitUserContentFilter can be reused with multiple #WebKitUserContentManager instances.

Filters need to be saved and loaded from #WebKitUserContentFilterStore.

Parameters

filterA #WebKitUserContentFilter