[ 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.