get_default_monospace_font_size

Description:

public uint32 get_default_monospace_font_size ()

Gets the default_monospace_font_size property.

Parameters:

this

a Settings

Returns:

Default monospace font size, in pixels.