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