WebKit.UserContentManager.remove_script – webkit2gtk-4.0 Reference Manual

remove_script

Description:

[ Version ( since = "2.32" ) ]
public void remove_script (UserScript script)

Removes a UserScript from the given UserContentManager.

See also remove_all_scripts.

Parameters:

this	A UserContentManager
script	A UserScript

2022 vala-language.org