toggle menu
gtk-kn
native
switch theme
search in API
webkit
/
org.gtkkn.bindings.webkit
/
UserContentManager
/
removeFilter
remove
Filter
fun
removeFilter
(
filter
:
UserContentFilter
)
Removes a filter from the given #WebKitUserContentManager.
Since 2.24
Parameters
filter
A #WebKitUserContentFilter