WebKit.Settings.get_user_agent – webkit2gtk-4.0 Reference Manual
get_user_agent
Description:
public
unowned
string
get_user_agent
()
Get the
user_agent
property.
Parameters:
this
a
Settings
Returns:
The current value of the user-agent property.
2022 vala-language.org