set_font_scale

Description:

public void set_font_scale (double scale)

Sets the terminal's font scale to scale.

Parameters:

this

a Terminal
scale

the font scale