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