option

programs.gnome-terminal.profile.<name>.font

The font name, null to use system default.

Declarations

Type

null or string

Default

null