webkit/org.gtkkn.bindings.webkit/UserContentManager/removeScript

removeScript

fun removeScript(script: UserScript)

Removes a #WebKitUserScript from the given #WebKitUserContentManager.

See also webkit_user_content_manager_remove_all_scripts().

Since

2.32

Parameters

script

A #WebKitUserScript