WebKit.UserMessage.get_name – webkitgtk-6.0 Reference Manual
get_name
Description:
public
unowned
string
get_name
()
Get the
this
name.
Parameters:
this
a
UserMessage
Returns:
the message name