webkit/org.gtkkn.bindings.webkit/UserContentManager/addScript

addScript

fun addScript(script: UserScript)(source)

Adds a #WebKitUserScript to the given #WebKitUserContentManager.

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

Since

2.6

Parameters

script

A #WebKitUserScript