Terminal.fontDesc

Get fontDesc property.

Returns

Specifies the font used for rendering all text displayed by the terminal,

overriding any fonts set using [gtk.widget.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.

void fontDesc(pango.font_description.FontDescription propval) @property

Set fontDesc property.

Parameters

propvalSpecifies the font used for rendering all text displayed by the terminal, overriding any fonts set using [gtk.widget.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.