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