WebKit.Settings.set_default_font_size – webkit2gtk-4.0 Reference Manual
set_default_font_size
Description:
public
void
set_default_font_size
(
uint32
font_size)
Set the
default_font_size
property.
Parameters:
this
a
Settings
font_size
default font size to be set in pixels
2022 vala-language.org