Sets the font used for rendering all text displayed by the terminal,
overriding any fonts set using Widget.modifyFont. The terminal
will immediately attempt to load the desired font, retrieve its
metrics, and attempt to resize itself to keep the same number of rows
and columns. The font scale is applied to the specified font.
Sets the font used for rendering all text displayed by the terminal, overriding any fonts set using Widget.modifyFont. The terminal will immediately attempt to load the desired font, retrieve its metrics, and attempt to resize itself to keep the same number of rows and columns. The font scale is applied to the specified font.