Quick tip

Set an unsupported value to a key using

dconf? You can restore the default setting like this: $ dconf reset /org/ gnome/terminal/ legacy/profiles:/ <profileID> /<keyname>.