WebKit.Plugin.get_name – webkit2gtk-4.0 Reference Manual
get_name
Description:
public
unowned
string
?
get_name
()
Obtain the plugin name.
Parameters:
this
a
Plugin
Returns:
name, as a string.
2022 vala-language.org