set_default_font_size


Description:

public void set_default_font_size (uint32 font_size)

Set the default_font_size property.

Parameters:

this

a Settings

font_size

default font size to be set in pixels