WebKit.Settings.set_default_monospace_font_size – webkit2gtk-4.0 Reference Manual

set_default_monospace_font_size

Description:

public void set_default_monospace_font_size (uint32 font_size)

Set the default_monospace_font_size property.

Parameters:

this

a Settings
font_size

default monospace font size to be set in pixels


2022 vala-language.org