set_font_options

Description:

[ Version ( since = "0.74" ) ]
public void set_font_options (FontOptions? font_options)

Sets the terminal's font options to options.

Note that on GTK4, the terminal by default uses font options with ON set; to override that, use this function to set a FontOptions that has OFF set.

this	a Terminal
font_options	the font options, or `null`