get_default_font_size

Description:

public uint32 get_default_font_size ()

Gets the default_font_size property.

Parameters:

this

a Settings

Returns:

The default font size, in pixels.