WebKit.Settings.set_default_font_family – webkit2gtk-4.0 Reference Manual
set_default_font_family
Description:
public
void
set_default_font_family
(
string
default_font_family)
Set the
default_font_family
property.
Parameters:
this
a
Settings
default_font_family
the new default font family
2022 vala-language.org