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