Terminal.setFontScale

void setFontScale(double scale)

Sets the terminal's font scale to scale.

Parameters

scalethe font scale