set_font


Description:

public void set_font (string fontname)

Sets the currently-selected font.

Parameters:

this

a FontChooser

fontname

a font name like “Helvetica 12” or “Times Bold 18”