WebKit.Settings.set_monospace_font_family – webkitgtk-6.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