WebKit.Settings.get_minimum_font_size – webkit2gtk-4.0 Reference Manual
get_minimum_font_size
Description:
public
uint32
get_minimum_font_size
()
Gets the
minimum_font_size
property.
Parameters:
this
a
Settings
Returns:
Minimum font size, in pixels.
2022 vala-language.org