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