WebKit.Settings.set_monospace_font_family – webkit2gtk-4.0 Reference Manual

set_monospace_font_family

Description:

public void set_monospace_font_family (string monospace_font_family)

Set the monospace_font_family property.

Parameters:

this

a Settings
monospace_font_family

the new default monospace font family


2022 vala-language.org