WebKit.UserMessage.get_name – webkit2gtk-web-extension-4.0 Reference Manual
get_name
Description:
public
unowned
string
get_name
()
Get the
this
name.
Parameters:
this
a
UserMessage
Returns:
the message name
2022 vala-language.org