font_options


Description:

[ Version ( since = "0.74" ) ]
public FontOptions font_options { get; set; }

The terminal's font options, or null to use the default font 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.