Custom color of the background of the terminal’s highlight, as a color specification (can be HTML-style hex digits, or a color name such as “red”). This is ignored if highlight-colors-set is false.
Colore personalizzato dello sfondo delle evidenziazioni del terminale, come una specifica di colore (può essere un numero esadecimale in stile HTML oppure il nome di un colore come "red"). Questo è ignorato se highlight-colors-set è impostato a FALSO.
None