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