webkit/org.gtkkn.bindings.webkit/UserScript/UserScript

UserScript

constructor(source: String, injectedFrames: UserContentInjectedFrames, injectionTime: UserScriptInjectionTime, allowList: List<String>? = null, blockList: List<String>? = null)(source)

Creates a new user script.

Scripts can be applied to some URIs only by passing non-null values for @allow_list or @block_list. Passing a null allow_list implies that all URIs are on the allow_list. The script is applied if an URI matches the allow_list and not the block_list. URI patterns must be of the form [protocol]://[host]/[path], where the host and path components can contain the wildcard character (*) to represent zero or more other characters.

Return

A new #WebKitUserScript

Since

2.6

Parameters

source

Source code of the user script.

injectedFrames

A #WebKitUserContentInjectedFrames value

injectionTime

A #WebKitUserScriptInjectionTime value

allowList

An allow_list of URI patterns or null

blockList

A block_list of URI patterns or null

constructor(source: String, injectedFrames: UserContentInjectedFrames, injectionTime: UserScriptInjectionTime, worldName: String, allowList: List<String>? = null, blockList: List<String>? = null)(source)

Creates a new user script for script world with name @world_name.

See webkit_user_script_new() for a full description.