WebKit.Settings.get_default_charset – webkit2gtk-4.0 Reference Manual
get_default_charset
Description:
public
unowned
string
get_default_charset
()
Gets the
default_charset
property.
Parameters:
this
a
Settings
Returns:
Default charset.
2022 vala-language.org