[ 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 cairo_hint_metrics_on set; to override that, use this function to set a FontOptions that has cairo_hint_metrics_off set.
| this |
a Terminal |
| font_options |
the font options, or null |