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