TerminalGidBuilderImpl.fontDesc

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.

Returns

Builder instance for fluent chaining